Here's an exposition of this theorem:

Convergence of Limsup and Liminf - ProofWiki

which simplifies the notation slightly. This time of night all those subscripts and epsilons and deltas are making my head swim, so I'm utterly unable to compare yours with this and make sense of it ... it's been a long day.