Para descobrir se um número é primo, podemos fazer as divisões por candidatos a fatores do número até a raiz quadrada desse número. Se o resto de alguma divisão por fator maior que for zero, então o número não é primo. Caso contrário, é primo.
Para detectar quando um quociente é inteiro, faremos uso da função definida abaixo para um inteiro qualquer. vale quando o inteiro for igual a , e zero caso contrário:
Quando , o denominador fica maior que , e a expressão inteira vale zero. Quando , o valor é . A função também poderia ser definida para reais e e funcionaria da mesma forma, mas não será necessário para o uso a seguir.
A função abaixo faz uso da função para verificar se o número possui algum fator inteiro , passando para o resto da divisão de por , dado por :
Para , todos os fatores de são iguais a se for primo, portanto . Se for composto, algum fator fará com que .
Para de a , o produtório vazio vale . Como não é primo, podemos multiplicar o valor por
que só vale zero para . Então a função abaixo, definida para inteiros positivos, devolve para qualquer primo , e caso contrário:
A função conta quantos números primos existem de a , usando a função anterior:
O valor de é definido como zero, correspondente ao somatório vazio.
Se tivermos um limitante superior para o n-ésimo primo, podemos construir uma função que devolve o n-ésimo primo somando os candidatos que podem ser o n-ésimo primo, multiplicados por uma função que seleciona apenas o primeiro tal que .
Quando o índice for tal que e , teremos encontrado exatamente o n-ésimo primo.
Sabendo que cresce aproximadamente como , podemos usar limitantes superiores como:
O primeiro baseia-se no fato de que é menor que para , sendo os casos menores verificáveis diretamente. O último cresce bastante rápido, e serve como garantia quando não se tem uma boa noção de quanto vale o primo .
Obviamente a fórmula não é eficiente. Ela nada mais é que a notação matemática para o algoritmo de teste de primalidade que faz uso de divisões sucessivas até a raiz quadrada do número sendo testado.
Esta fórmula foi criada (descoberta?) em 2026-05-04 por José Eduardo Gaboardi de Carvalho (edu.a1978 at gmail).