How do we know that the ratio between the circumference and the diameter of a circle is preserved across radius sizes?