is nonnegative. Since the expression under the logarithm in (6.14) is decreasing
with respect to u0 and d ranges from 0 to 1, it attains its largest value for the
minimal value of u0, i.e. 3/
√
8. So, the expression under the logarithm in (6.14)
can be bounded by 0.97, which reduces this expression to k/33 + log(4π/k) and
which is obviously greater than zero for all k.