Theorem D cannot be substantially improved; it can be proved that for any we have

for all sufficiently large k depending on . Hence for any

holds for all sufficiently large k depending on .