[contravariant]

Note that that sequence of approximations of pi is not the entire sequence of optimal approximations. That one requires a bit more work.

It is a sequence of optimal approximations though.