cos(sin(x)) > sin(cos(x) for x in [-Pi ; Pi].
I found the proof.
blackjack
flooble's webmaster puzzle