Domanda su un passaggio di una dimostrazione degli spazi Lp
Le ipotesi del teorema sono che $f_h$ sia una successione in $L^p$, $f$ sia una funzione in $L^p$ ($p< \infty)$, $f_h \rightarrow f$ quasi ovunque e $ \norm (f_h)_p \rightarrow \norm f_p$.
Ad un certo punto della dimostrazione sul libro dice che da $\int 2^(p+1)\abs(f)^p \le \lim$ inf$ (\int 2^(p)\abs(f_h)^p + \int \abs(f)^p - \int \abs(f_h -f )^p$ segue che $ \lim \int \abs(f_h -f )^p = 0 $.
So che probabilmente mi sto perdendo in un bicchiere d'acqua, ma qualcuno potrebbe spiegarmi questo passaggio?
Ad un certo punto della dimostrazione sul libro dice che da $\int 2^(p+1)\abs(f)^p \le \lim$ inf$ (\int 2^(p)\abs(f_h)^p + \int \abs(f)^p - \int \abs(f_h -f )^p$ segue che $ \lim \int \abs(f_h -f )^p = 0 $.
So che probabilmente mi sto perdendo in un bicchiere d'acqua, ma qualcuno potrebbe spiegarmi questo passaggio?