Proofs involving real numbers