<pre>
Show that (sin x)^(sin x) < (cos x)^(cos x) when 0 < x < pi/4.

[[RecPuzzlesInequality Solution]]
</pre>
