若 ,则 且 。素数 ;由于 是小于 的最大素数,故 ,于是 。因子 都出现在阶乘中。若 ,则 且因 有 ;从而 ,所以 出现,其积为 ,足以提供 所需的两个 。 b<3b<3b<3 b=2b=2b=2 n=2a>2pkn=2a>2p_kn=2a>2pk aaa pkp_kpk pkp_kpk kkk a≥ka\ge ka≥k n−k=2a−k≥an-k=2a-k\ge an−k=2a−k≥a 222 aaa b=ab=ab=a n=a2n=a^2n=a2 a≥6a\ge6a≥6 n>26n>26n>26 n−k>n/3=a2/3≥2an-k>n/3=a^2/3\ge2an−k>n/3=a2/3≥2a aaa 2a2a2a 2a22a^22a2 aaa a2∣(n−k)!a^2\mid(n-k)!a2∣(n−k)!