$\sum\limits_{x=2}^n(\sum\limits_{i=1}^{f(2x)}[x\le p_i\le 2x-2])$
其中 $f(x)$ 表示 $x$ 以内的质数个数
而 $p_i$ 表示第 $i$ 大的质数，$p_1=2,p_2=3,p_3=5$
$[\dots]$ 当内部成立为1，不成立为0
放缩要求：你给的式子恒大于等于这个式子