6 Real-number calculus