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.