How do I prove tan1<π2? Prove that the equation sinxsin(sinx)=π2cos(sinx) Let t=sinx,−1≤t≤1. Then the expression...
How do I prove ?
Prove that the equation
Let . Then the expression above is equvalent to . As the function is even, and t=0 is not a solution, I have to prove that f(t) has no positive roots (t>0). So, for the left side and , then . For the right side , so . The objective is to prove that , or, equivalently,