Esto es del apéndice del PDE de Evan sobre los moledores. Sea $f \in L^p$ Me gustaría demostrar que la molicie $f^\epsilon \to f$ casi en todas partes como $\epsilon \to 0$ . Adjuntaré aquí la definición de molicie:
La prueba dada por Evans se adjunta a continuación. Tengo problemas para entender la último desigualdad en la siguiente imagen:
Se agradecería cualquier ayuda.