The Real Numbers and Real Analysis