Here is what I know as a proof. But I know nothing of the way your instructor expects it done. Perhaps you can fill in the details.
Suppose that by definition and .
But that means or is an upper bound for .
Let so that .
Here we work for a contradiction: assume that .
But ! CONTRADICTION.