Estaba revisando la demo de "si es continua, entonces es integrable". Eso me trajo la siguiente duda:

Defino
, continua
Llamo a un intervalito de

entonces

es uniformemente continua por Cantor, entonces , siempre que y

sabemos que si , entonces .

La pregunta es:

si

Parece bastante evidente, pero no puedo ver por qué pasa esto (asumo que ambos supremos son positivos, por eso no hay módulo).

Como siempre, si encuentro la respuesta antes, la escribo y ya queda para el foro. Grax

Como vale la primera desigualdad para cualquier en el intervalito, vale la segunda desigualdad para cualquier en el intervalito. Como la segunda desigualdad vale para todas estas , en particular vale para la más grande. Porque si para cada , en particular vale para la más grande de estas diferencias.