Let two circles A and B with unequal radii r and R, respectively, be tangent internally at the point A0. If there exists a sequence of distinct circles (Cn) such that each circle is tangent to both A and B, and each circle Cn+1 touches circle Cn at the point An, prove that
n=1∑∞∣An+1An∣<R+r4πRr. inequalitiesgeometryperimetergeometric inequalityIMO ShortlistIMO Longlist