设k为正整数, 若a₁<a₂<…<a_k满足以下条件
(1) gcd(a₁,a₂,…,a_k) = 1
(2) 对任意1≤i≤k, a_i 没有大于k的素因子
(3) 对任意1≤i<j≤k, |a_i - a_j| 没有大于k的素因子
当k足够大时, 是不是都只有(a₁,a₂,…,a_k)=(1,2,…,k)这一组数满足以上要求 ??