ルジャンドル変換
は凸函数として、そのルジャンドル変換（凸共軛）を と書けば、formula_7 が成り立つ。これはルジャンドル変換の定義から直ちに従う。