sum(5^n/(4*factorial(n)), n = 1 .. infinity)