有界性は示されてるので
> (inf... または sup... が非有界の場合も同様にして示せる)
これはいらんかったわ