sum ( log(k!)/(2^(k+1)), k=0 to infty