The point is that (5) can stay small because ......
If we stay a fixed distance off the critical line, we do not expect Benford behaviour.
The Markov chain $z_k$ takes no account of how long the process stays in $V$.
This path stays in $B$ for all time.
Go to the list of words starting with: a
b
c
d
e
f
g
h
i
j
k
l
m
n
o
p
q
r
s
t
u
v
w
y
z