Prove that greatest lower bounds exist
define exponentiation of reals by naturals and of nonzeros by integers.. define nth roots for positive reals, prove they exist and other properties