sum(5^(-n)*factorial(n+2), n = 1 .. infinity)