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 .

Then .

But ! CONTRADICTION.