atcoder ABC149 C Next Primeより
<span class="h2"> while any(x%i<1 for i in range(2,int(x**.5)+1)): x+=1 </span>
X%i<1がTrueになるとき、Xはiで割り切れる。
Xについて2~X^0.5+1について確認して、いづれかの数で割り切れたら、Xは素数ではない。
その場合にはx+=1でインクリメントして次のxについて確認する。
もしすべての数で割り切れない場合には素数となり、any以下はFalseとなり、whileを抜ける。
この時Xは初期Xより大きな素数となっている。