結論は自明ですが高校数学の範囲では意外に証明が難しい問題を出題します

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