さらにもう一問！解けたら偉い！

　889 名前:１３２人目の素数さん Mail:sage 投稿日:2022/03/29(火) 16:44:26.24 ID:Jgt8zoTV
結論は自明ですが高校数学の範囲では意外に証明が難しい問題を出題します

∫[0,a] (x^x)*sinx dx > ∫[0,a] (e^x)*cosx dx
を満たす実数aが存在することを示せ。