Assume additionally and set , so . Since forces almost surely, it suffices to show .

Expanding , all terms containing a factor to the first power vanish in expectation by independence and , while . Hence

Therefore

so and almost surely, that is, .