ceil(exp(ProductLog[log((5040)/(sqrt(2*pi)))/e]+1)-1/2)