Ptolemy's inequality