pi1 pi1 where pi1 numerator pi1 numerator numerator pi1 n-1 numerator

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)))