sum (-1)^k * StirlingS1(k+1,1+k-5)/k! * (1+2)^k * binomial(k+1,1+2), for k=5 to infty