I want to prove the inequality
π26≤∫∞0sin(xlogx) dx
There are some obstacles I face: the indefinite integral cannot be expressed in terms of elementary functions,
Taylor series leads to a another function that cannot be expressed in terms of elementary functions. What else to try?
No comments:
Post a Comment