Source: cirosantilli/every-riemann-integrable-function-is-lebesgue-integrable
= Every Riemann integrable function is Lebesgue integrable
But only for the proper Riemann integral: https://math.stackexchange.com/questions/2293902/functions-that-are-riemann-integrable-but-not-lebesgue-integrable