すみません書き損ないました
×f(x)を[0,)上の実数値有界連続関数とすると、
○f(x)を[0,∞)上の実数値有界連続関数とすると、