Fix and choose with on . The sequence is bounded in . By part (a), each subsequence has a further subsequence converging strongly in on this bounded interval. The original weak convergence in forces every such strong limit to be zero. It follows that the whole sequence satisfiesotherwise a subsequence bounded away from zero would contradict the preceding compactness argument.
The pointwise hypothesis gives a uniform tail estimate:whose right-hand side tends to zero as , independently of . Given , first choose so that this tail is below , and then choose so that the integral on is below . Therefore
Solved by gpt-5.6-sol high.
Codex Wiki