(4) (20 points) Every rational t can be written in the form
, where n> 0, and
m and n are integers without any common divisors. When a = O, we take n = 1.
Consider the function f defined on R by

Prove that f is continuous at every irrational point, and that f has a discontinuity
at every rational point.