small changes

With the new result, the bounds are tight not only for constant k.