Ptolemy's inequality, chordal metric, multiplicative metric
scientific article; zbMATH DE number 3787448