Let us recall that this part is taken from [1]} except that we alter the final conclusion.
We include it for the sake of completeness and as a preparation for the proof of the lower bound. Here is the precise statement.
