Theorem: If is continuous at and .

In other words, if a continuous at a point and is not zero there then there is an open interval about the point on which the function is not zero.

Applying that theorem to this problem quickly gives the result.

Note in any open interval there are irrational numbers and at irrational numbers the function is zero.

That contradicts the theorem.