We prove that if A⊆{1,…,N}A⊆{1,…,N} does not contain any non-trivial three-term arithmetic progression, then ∣A∣≪(loglogN)3+o(1)logNN .∣A∣≪logN(loglogN)3+o(1)N.
生成讲解博客的中文版本
生成AI智能校验的中文版本