A Tighter Convergence Proof of Reverse Experience Replay