Machin's formula

  1. REDIRECT John Machin