Mostramos que o número de primos com comprimento de 1-execução líder exatamente g na faixa L-bit [2^(L-1), 2L) é dado por count(g, L) = integral de a a b de dt/ln(t), onde [a, b) = [2L - 2^(L-g), 2L - 2^(L-g-1)]. Uma aproximação em forma fechada que requer apenas uma divisão e um logaritmo também é derivada: count(g, L) = 2^(L-g-1) / ln(2L - 3 * 2^(L-g-2)). Verificado por um crivo exaustivo para L = 10 a 32 (primos até 4,3 bilhões), a precisão atinge 99,99%. Para maior precisão, a função R de Riemann pode ser aplicada a cada subintervalo. A aplicação prática deste resultado é, neste momento, desconhecida para o autor. Inclui o código fonte em LaTeX e um script de verificação Python autônomo.
Yukihiro Honda (Sun,) estudou esta questão.