>>900

> ・定数でなければf(b)>f(a)またはf(b)<f(a)となるb>aがある

これって広義の区間の定義からですか?