Real numbers/Geometric mean/Definition