用三角换元和嵌入不等式证明一道土耳其TST题目

用三角换元和嵌入不等式的组合应用，本质其实是配方。