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 [#!LiVitanyi:97!#] should be slightly modified. For
instance, the sum could be taken over
.
The
sequence of inequalities
is then satisfiable by a suitable xi sequence, since
.
The basic idea of the proof is
correct, of course, and very useful.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.