ptolemy inequality