上に有界でないという証明、これは厳密ですか？大丈夫でしょうか？

-x^2 について、下に凸である。よって上には凸でないからf(x)≦Mはなりたたず、上に有界でない