Aquí está mi intento en la primera parte de la pregunta, no estoy seguro de qué tan válida es, aunque, así que te agradecería comentarios/correcciones:
Se sabe que: $\pi(n)\sim\frac{n}{\ln{n}}$. Donde $\pi(n)$ es el primer conteo de la función en $n$ (es decir, el número de números primos menores o iguales a $n$).
Por lo tanto, estamos buscando para demostrar que existe una $n$ tal forma que:
$$\frac{(n+1)^{2}}{2\ln{(n+1)}}-\frac{n^{2}}{2\ln{n}}\geqslant1000$$
Que nos llame a $\pi_{d}(n)=\frac{(n+1)^{2}}{2\ln{(n+1)}}-\frac{n^{2}}{2\ln{n}}$. Por lo tanto, tenemos:
$$\frac{d\pi_{d}}{dn}=\left(\frac{n}{2\left(\ln{n}\right)^{2}}+\frac{n+1}{\ln{(n+1)}}\right)-\left(\frac{n}{\ln{n}}+\frac{n+1}{2\left(\ln{(n+1)}\right)^{2}}\right)$$
Por lo tanto $\frac{d\pi_{d}}{dn}\gt0$, $\forall n\gt0$. Por lo tanto, como $\pi_{d}(n)$ es monótona creciente: $\exists n:\pi((n+1)^{2})-\pi(n^{2})\geqslant1000$.