log10000!/log10