>>831
S=2sint-(t-π^2/8)cost-1
になったけどな

微分して整理したら
(8t^2-π^2)(t*sint+cost)/(8t^2)
になった
t*sint+cost>0は明らかなので…