The relation (4.2) is a simple consequence of the upper bound in (3.1). That is why we reprove Theorem A in Section 6.
As one can expect, (4.2) being true for the whole range of k and α is far from being precise. In particular, the last term on the right-hand side takes much too large values for very small α. More precisely, the following fact takes place.