これは、たとえば"f"に連続的な2次導関数があると仮定した場合に正当である。