solve -5*(2k) - log10((2k+1)!) = -4000, for k