To aid understanding, we often draw pictures of sets. The real numbers can be thought of as the points on a straight line which extends to infinity on the right and to minus infinity on the left. The real line is a continuum; that is, the real line has no gaps. We often write for a typical point on the real line; such an may be represented by an infinite decimal expansion. The existence of such a decimal expansion is a consequence of the following.
Between any pair of real numbers lies a rational number.
Proof. Suppose that are real numbers, so . If , then some integer lies between and . Otherwise, we choose to be so large that and then there exists an integer between and , so the rational number lies between and .