We need to be careful about in the line above. This is just one value though, so check it manually and assume .
Now let's find the maximum of .
so solving we see .
But a little work shows which proves the claim.
p.s. I'm sure there's a much more elegant proof.