pi_4(1, Pi) -> Pi;
pi_4(K, Pi) ->
    case K rem 2 of
        1 -> pi_4(K-1, Pi+1/(2*K-1));
        0 -> pi_4(K-1, Pi-1/(2*K-1))
    end.
pi(K) -> 4*pi_4(K, 1).