2011-05-24 増加関数 math 定理 開区間 上の微分可能関数 が, をみたすならば, 任意の に対し, 証明 任意の に対し, が存在して, とおくと, はコンパクトなので, が存在して, ここで, としてよい.このとき, をとると, よって より, は任意なので,//