Suppose that we need to find a natural number n greater than a given real number x. Choose any y > x, e.g., y = x + 1. Then by density there is a rational number y > p / q > x where p and q are integers and without loss of generality q >= 1. Multiply by q to get p > xq >= x.