ただしformula_2は厳密に上に凸な関数である。