Real numbers/Bigger 1/Power sequence/Unboundedness/Exercise