「実数全体で有界な整式は定数関数に限る」
が言えればいいんだけどな。

リュービルに訊いてみよう…