1 2 3
pi1 n = 4 / (1 + (pi1' n 1)) where pi1' 1 numerator = 2 pi1' n numerator = (numerator ^ 2) / (2 + (pi1' (n-1) (numerator + 2)))