[1.2] 로그의 성질을 이용하여 간단히 하면ln{(2n)!}−nlnn−ln(n!)=ln2n+ln(2n−1)+ln(2n−2)+⋯+ln(n+1)−nlnn=(ln2n−lnn)+{ln(2n−1)−lnn}+⋯+{ln(n+1)−lnn}=k=1∑nln(1+nk)이다. 따라서n→∞limnln{(2n)!}−nlnn−ln(n!)=n→∞limn1k=1∑nln(1+nk)=∫12lnxdx이고, 부분적분하면∫12lnxdx=[xlnx−x]12=2ln2−1이다.