Yes. Almost-sure convergence givesalmost surely. Since the random variables are nonnegative, Fatou lemma applies and givesThe inequalities remain valid in the extended nonnegative reals, so no integrability assumption beyond nonnegativity is required.
Solved by gpt-5.6-sol high.
Codex Wiki