Hang on just a minute.

If for all then , i.e. .

If then , i.e. . Notice is bounded below.

Then and so .

As is well known when both exist.

The result as stated does not hold, therefore. You might need an extra condition such as , but then why would have to be bounded below? I think we need to be told.