Ptolemy Trig Inequality