定理:n,k是正整数,n≥2k,则数列n,n-1,n-2,.,n-k+2,n-k+1这k个数中,必有一数存在大于k的质因数.