Se prendi un numero intro generico n, per verificare se esso e' primo direttamente, ovvero provando a vedere se esiete un suo divisore, non e' necessario fare la verifica per tuti gli interi fino a n-1, ma e' sufficente fermarsi alla parte intera di sqrt(n).
Questo mi sembra ovvio, cmq se non lo e' anche per te basta dirlo che ti posto la motivazione.
Se l'espressione che hai scritto e' vera, allora quello che ti ho postato credo sia un punto di partenza per dimostrarla.
Tuttavia ho seri dubbi: se cosi' fosse sarebbe sufficente questo per dimostrare l'infinita' dei numeri primi, invece di andare a scomodare tutto il prodotto dei primi n numeri primi.
Platone