Ptolemy Inequality