Pi is IRRATIONAL: animation of a gorgeous proof