[≠ strict
The estimate is sharp, as the following example shows.
A natural question is how sharp the bounds given in Theorem 6 are.