1.15. If {S n, n E N} IS a random walk such that .o/'{S 1 #= O} > 0, then for any finite interval [a, b] there exists an E < 1 such that

::IP{Sj E [a, b], 1 < j < n} < Ell This is just Exercise 6 of Sec. 5.5 again.]