Visual proof of the arithmetic-geometric mean inequality

Here's an animation of a visual proof of the arithmetic-geometric mean inequality, following , I. M. Gelfand and A. Shen, Algebra. Birkhäuser, 1993. that I did to teach myself how to use the manim library.