1961 01erdos
1961 01erdos
RANDOM WALK II
(8) Sk < CPk(lg A.>-’ CL1 u-l n[p,a (1 + p-l) < c3 k/g k
since by ink-changing the order of summation we have t’he well-known
CL1 0-l & (1 + p-‘1 = CL d-l zaxmod d)&P
< cd ~L’=l lg k,‘d* < cj lg k.
Thus from (7) and (8)
(9) Cp<pn UP(P - Q) < C6 lgz P-2.
From (O), (6), and (5), we finally obt’ain E(e2) = cf(lg2 n)’ + o(lg, n)’
which proves (3)) and thus the proof of our theorem is complet,e.
By using a sharper estimat,e t,han (1)) it is easy to show t.hat for almost all
paths
(10) lim n+* e(n)/s lg,n = 1.
By t’he same method one can prove that if t#he int,egers q = q1 < q2 < ‘ . .
satisfy