As pointed out
by M. Hutter (14 Nov. 2000, personal communication) and even
earlier by A. Fujiwara (1998, according to P. M. B. Vitányi,
personal communication, 21 Nov. 2000), the proof on the bottom of
p. 249 of [30] should be modified. For
instance, the sum could be taken over
. The
sequence of inequalities
is then satisfiable by a suitable sequence, since
. The basic idea of the proof is
correct, though, and quite useful.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.