Let us assume that for all . Then is not bounded because the function is not bounded. Which is a contradiction.

Now follow the logic....

FOR ALLwe have .

The negation of that (which must be because by contradiction) is,

FOR SOMEwe have .

Because the negation of a universal quantifier is an existencial quantifier. And the negation of is .