February 27th, 2013, 11:25 am
I would say you could start with the condition E[|XY|] is finite, and E[|YX_n|] is finite for all n. then create a series X_k_n = X_n * Y_{|Y| <= K}, you could then use dominate convergence and the assumptions on most of the swapping limits and expectations the only issue would be about swapping Lim_k and Lim_n - think about that - if you do that, you probably have the most general version - that said, I have not done this in a VERY long time, and there are smarter ppl on these forums, so happy to be corrected or improved on.