Real Not Complex: Free Math Resources 6 years ago
In the first one, they already defined upper bound and least upper bound beforehand, so the statement is more concise than the Strichartz's one. On the other hand, the proof of the completeness axiom, or rather a detailed construction of the reals, is a part I always enjoy in analysis textbooks.