lim x -> inf 1/x!