447faf2fb391110a.tex
1: $ by Lemma \ref{lemma_convergence_derivative_v}. Hence, Fatou's lemma gives
2: $