Legendre transformation
関数 のルジャンドル変換 は次のように定義される：