pi/2<x<2/3piの範囲で
x/cosxの最大値を求めたいのですが、
x*tanx=-1の時に最大値になるのは分かったのですが、
その先進めません。
どうすれば良いでしょうか。