Ptolemy inequality