Sólo otro punto de vista
Supongamos que $a$ es divisible por un primo $p$. Esto significa que:
$$a = p \cdot k \Rightarrow p = \frac{a}{k}.$$
Por otra parte, supongamos que el $p > \sqrt{a}$, entonces:
$$\frac{a}{k} > \sqrt{a} \Rightarrow k < \sqrt{a}.$$
Esto significa que sólo puedo usar los números primos $p \in [\sqrt{a}, a]$ a determinar si $a$ es el primer lugar de la serie a $[0, \sqrt{a}]$.
Que es el conjunto que mejor se adapte para el algoritmo?
Supongo que los más pequeños, ya que tienen un menor número de números primos para ser probado. El conjunto $[\sqrt{a}, a]$ tiene una longitud de $a-\sqrt{a}$, mientras que el conjunto $[0, \sqrt{a}]$ tiene una longitud de $\sqrt{a}$.
Observe que:
$$\sqrt{a} < a-\sqrt{a} \Rightarrow 2\sqrt{a} < a \Rightarrow \sqrt{a} > 2 \Rightarrow a > 4.$$
En general, usted quiere probar un número $a$ más grande que la de $4$. Por esta razón, sólo se observa para el conjunto de $[0, \sqrt{a}]$... es simplemente más rápido!
Ejemplo.
Tome $a = 77$ y el aviso de que $\sqrt{a} \simeq 8.78$. Si utiliza el conjunto de $[0, \sqrt{a}]$, usted tendrá que comprobar si $a$ es divisible por $3,5,7$ (sólo tres números). Por otro lado, si usted elige el conjunto $[\sqrt{a}, a]$, usted tendrá que comprobar si $a$ es divisible por $11, 13, 17, 19, 23, 29, 31, 37, ...$. Hey, esto es demasiado, no?!