Accidenti, non avevo proprio pensato a quella formulina! E pensare che è pure del precorso! <!-- s:lol: --><img src="{SMILIES_PATH}/icon_lol.gif" alt=":lol:" title="Laughing" /><!-- s:lol: --> 

Per quanto riguarda l'utilizzo di Fatou, anche io avevo pensato a quell'argomento, ma non mi convince molto in quanto se prendo il liminf di una sottosuccessione, questo sarà maggiore o uguale del liminf della successione. Cioè, per Fatou avrei:

[latex:186jpj5p]\displaystyle \liminf_{n \to \infty} \int_{\Omega} u_n ^{8102} \leq  \liminf_{k \to \infty} \int _{\Omega} u_{n_k} ^{8102} \geq \int _{\Omega}  u_\infty ^{8102}[/latex:186jpj5p] 

ed è quel minore o uguale che non capisco come togliere. Cioè, non mi torna che basti partire dalla sottosuccessione che realizza il liminf.