问题恐怖如斯，法四叹为观止，只用均值不等式！

windows计算器秒杀

直接在极小值给出精确解

那条绿线是 x=pi/2