>>685
任意の実数xについてf''(x)>0
は
任意の実数xについてf'(x) が存在
に弱められそうだだが。