今まで見たのはヘッシアン0で極値を取らないことを示す問題ばかりでした
関数によっては極値を取るものもあると思うのですが、それを証明する方法はあるのでしょうか