Revise and clean up proof of Theorem 1
Clean up and finish convergence Lemma in appendix
Add key convergence results to appendix

Adds results for sup_{t=R+1,...,R'}
Clean up intermediate convergence results