We use proof by contradiction. Suppose that is a nonconstant function that is continuous on its domain. Then there must exist and in such that (for, otherwise, would be constant). Choose any noninteger between and Then, since is a function of a real variable that is continuous on the interval we may apply the intermediate value theorem to conclude that there is some such that But this would mean that the noninteger is in the codomain of which is a contradiction.