Ptolemy's inequality — inequality relating the six distances between four points on a plane