==> geometry/trigonometry/inequality.p <==
Show that (sin x)^(sin x) < (cos x)^(cos x) when 0 < x < pi/4.