No, the solution shows that if the supremum is then using the fact that we find such that which is a contradiction.

But here, we don't have to prove the result by contradiction. Since we know that the supremum is . Then consider for : (the idea is quite the same as the solution gives, but I used a "direct way").