Real numbers/Heron/s method/Heron sequence/Definition