1: \begin{proof}

2:   Since $\esssup \zeta(x)\le 0$, the `if' part of the lemma is trivial.

3: 

4:   The `only if' part can be proved via the following strategy: For

5:   $i \in \Z$ and $\eta >0,$ using the independence assumption of the

6:   potential in \eqref{eq:xiAssumptions}, the random walk starting in $i$

7:   can find arbitrarily large islands to the left of $i$, where the

8:   potential $\zeta + \eta$ takes values larger than $\eta/2$. Once such

9:   an island is large enough so that the cost of the random walk to stay

10:   inside this island is offset by the exponential gain of a potential

11:   value larger than $\eta/2$ in the Feynman-Kac formula, one infers that

12:   $L_i^\zeta(\eta)$ is infinite, and then the same applies to the

13:   remaining quantities in question.

14: 

15:   Since in the case of random walk with a drift, the `only if' statement

16:   is a direct consequence of Proposition~3.1 in \cite{Dr-08}, we omit

17:   making the above proof rigorous. The lengthy proof of \cite{Dr-08},

18:   however, can directly be transferred to the case of simple random walk

19:   without drift.

20: \end{proof}

21: