Legendre transformation
関数 のルジャンドル変換 に対して再びルジャンドル変換を施した関数を とする：