I am looking for a proof of Lebesgue’s criterion for Riemann integrablility that does not involve compactness. This is due to the reason that the syllabus I teach consists of the theorem but not the notion of compactness.
Can you suggest any such resource?