Difference between revisions of "Ptolemy inequality"