Suppose we have the indicator function of rationals. To show that it is not Riemann integrable (without looking at upper and lower sums) I said that the Riemann sum can take on three possible general values:
Here is the mesh of the partition. Because we know that . So we can't bound ? Because either or .