Proceedings of the Royal Irish Academy: The Riemann integral and measurable sets