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

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