f(x) = cos(x)*sin(pi/6 +x)
のとき
∫_[0,pi/3] dx/f(x) はどうやって求めればいいでしょう。
微分と違って逆数の積分って公式ないですよね。