A Trig-Of-Trig Inequality: 11309