What is the shortest proof of the formula $\pi=\frac{\infty\sqrt[\infty]{-1}-\infty}{\sqrt{-1}}$? Here any number system satisfying a transfer principle would do, and we choose the principal branch of the root.