Anyone care to make a short video (or GIF) that zooms in on the Ford circle packing of the upper half plane, converging on the point pi on the real axis, highlighting the circles we pass through (whose points of tangency to the real axis are the continued-fraction convergents to pi)? I searched YouTube but nothing like this seems to currently exist. Jim Propp