# Fonction de comptage des nombres premiers π(n)

Calcule la fonction de comptage π(n) — combien de nombres premiers sont ≤ n. Un crible d'Ératosthène en une passe (limite 10⁷) donne le décompte exact, accompagné de l'estimation n/ln n, de la densité des premiers, de l'écart moyen et du plus grand premier ≤ n ; en option, jusqu'à 20 premiers proches de n. Repères classiques : π(100) = 25, π(1000) = 168, π(10⁶) = 78498, π(10⁷) = 664579.

> Page canonique: https://elysiatools.com/fr/tools/prime-counting-function

- **Catégorie:** Math & Numbers

- **Mots-clés:** comptage des premiers, fonction π, crible d'ératosthène, théorème des nombres premiers, densité des premiers, théorie des nombres

## Présentation

Ce calculateur détermine la fonction de comptage des nombres premiers π(n), qui correspond au nombre exact de nombres premiers inférieurs ou égaux à une borne donnée n (jusqu'à 10⁷). À l'aide d'un crible d'Ératosthène optimisé, l'outil fournit le décompte précis, l'approximation issue du théorème des nombres premiers (n / ln n), la densité, l'écart moyen et le plus grand nombre premier sous la limite.

## Entrées

- **Nombre n** (text): Counting bound, 1 ≤ n ≤ 10⁷ (byte-sieve limit).
- **Niveau de détail** (select)

## Quand l'utiliser

- Vérifier le nombre exact de nombres premiers jusqu'à une limite n donnée pour des exercices de mathématiques ou d'algorithmique.
- Comparer le décompte exact π(n) avec l'estimation asymptotique n / ln n pour illustrer le théorème des nombres premiers.
- Identifier rapidement le plus grand nombre premier inférieur ou égal à n ainsi que les nombres premiers immédiatement voisins.

## Fonctionnement

- Saisissez une valeur entière pour n comprise entre 1 et 10 000 000.
- Choisissez le niveau de détail souhaité : le décompte avec statistiques ou l'affichage supplémentaire des nombres premiers proches (jusqu'à 20).
- L'outil exécute un crible d'Ératosthène pour identifier tous les nombres premiers jusqu'à n et calcule les métriques associées (densité, écart moyen, écart à l'approximation).
- Consultez les résultats textuels comprenant π(n), le plus grand premier trouvé et les détails statistiques.

## Cas d'usage

- Études et travaux pratiques en théorie des nombres explorant la distribution des nombres premiers.
- Benchmark et validation de générateurs ou de cribles algorithmiques de nombres premiers.
- Recherche rapide d'un grand nombre premier sous un seuil précis pour des besoins cryptographiques ou de hachage.

## Questions fréquentes

### Quelle est la valeur maximale supportée pour n ?

La limite maximale autorisée pour le calcul exact par crible est n = 10 000 000 (10⁷).

### Comment est calculée l'estimation comparative ?

L'outil applique la formule classique du théorème des nombres premiers, soit n / ln(n), et indique le pourcentage d'écart par rapport au compte réel.

### Qu'indique l'écart moyen affiché ?

L'écart moyen correspond au ratio n / π(n), représentant la distance moyenne entre deux nombres premiers dans l'intervalle [1, n].

### Quels sont les nombres premiers affichés en mode « proches » ?

Ce mode liste les 20 plus grands nombres premiers inférieurs ou égaux à n.

### Le calcul prend-il en compte le nombre 1 comme premier ?

Non, 1 n'est pas un nombre premier ; le crible commence à 2, conformément aux définitions mathématiques standards.

## Outils associés

- [Calculateur de la fonction de Carmichael λ(n)](https://elysiatools.com/fr/tools/carmichael-function): Calcule la fonction de Carmichael λ(n) — l'exposant du groupe multiplicatif (Z/nZ)*, c'est-à-dire le plus petit k tel que a^k ≡ 1 (mod n) pour tout a premier avec n. Construite depuis la factorisation (λ(2)=1, λ(4)=2, λ(2^k)=2^(k−2) pour k ≥ 3, λ(p^k)=φ(p^k) pour les puissances impaires, puis PPCM), avec φ(n) en regard, l'existence d'une racine primitive et le critère de Korselt pour repérer les nombres de Carmichael. Classiques : λ(561) = 80 (561 est le plus petit nombre de Carmichael) et λ(8) = 2 < φ(8) = 4.
- [Théorème des restes chinois (système de congruences)](https://elysiatools.com/fr/tools/chinese-remainder-theorem): Résout le système x ≡ rᵢ (mod mᵢ) (2 à 20 congruences) par le théorème des restes chinois généralisé avec fusion par paires : modules premiers entre eux → module combiné égal au produit ; non premiers entre eux mais compatibles → PPCM ; système incompatible → absence de solution signalée clairement. Chaque congruence est vérifiée contre la solution finale. Classique : x ≡ 2 (mod 3), x ≡ 3 (mod 5), x ≡ 2 (mod 7) → x = 23 (mod 105).
- [Générateur de permutations / combinaisons / sous-ensembles (avec répétitions)](https://elysiatools.com/fr/tools/combinatorial-generation): Génère permutations, combinaisons et sous-ensembles d'un multiensemble avec dédoublonnage automatique en ordre lexicographique : les permutations suivent next_permutation avec comptage exact n!/Π(mᵢ!) ; les combinaisons donnent les k-sous-multiensembles distincts, comptés comme coefficient de x^k dans Π(1+x+…+x^mᵢ) (C(n,k) si tous les éléments sont distincts) ; les sous-ensembles énumèrent chaque sous-multiensemble avec comptage Π(mᵢ+1) (2ⁿ si tous distincts), ensemble vide inclus. Jusqu'à 12 éléments, affichage plafonné à 200 entrées mais comptage toujours exact ; le mode combinaisons exige 1 ≤ k ≤ n. Classiques : permutations de \[A, A, B\] → 3!/2! = 3 (AAB, ABA, BAA) ; sous-ensembles de \[A, A, B\] → (2+1)(1+1) = 6.
- [Calculateur de l'indicatrice d'Euler φ(n)](https://elysiatools.com/fr/tools/euler-totient-function): Calcule l'indicatrice d'Euler φ(n) — le nombre d'entiers de \[1, n\] premiers avec n. Factorise n par divisions d'essai puis évalue exactement φ(n) = n · Π(1 − 1/p) (n ≤ 10¹²), avec option pour lister les 60 premiers nombres premiers avec n et le rappel du théorème d'Euler a^φ(n) ≡ 1 (mod n). Classiques : φ(36) = 12 (36 = 2² × 3²) ; si n est premier, φ(n) = n − 1, p. ex. φ(97) = 96.
- [Solveur de jeux à somme nulle (point selle / programmation linéaire)](https://elysiatools.com/fr/tools/game-theory-zero-sum): Résout les jeux à somme nulle 2–6 × 2–6 (la matrice appartient au joueur ligne, le maximisateur ; le joueur colonne paie) : d'abord le test de point selle (si le maximin des minima de lignes égale le minimax des maxima de colonnes, l'équilibre en stratégies pures existe et toutes les cellules selles sont listées) ; sinon la matrice est décalée pour que chaque entrée soit ≥ 1 et un simplexe monophasique (base d'écarts, règle de Bland) résout max Σz s.t. Bz ≤ 1 : le primal donne la stratégie mixte q du colonne et les prix duaux d'ombre sont exactement la solution y du joueur ligne ; la valeur est décalée en retour et x, q, v sont vérifiés numériquement (xᵀA ≥ v, Aq ≤ v) ainsi que l'égalité minimax. Classique : pile ou face \[\[1,-1\],\[-1,1\]\] → valeur 0 avec mélanges 0.5/0.5.
- [Calculateur de transformée de Laplace inverse (fractions partielles)](https://elysiatools.com/fr/tools/inverse-laplace-calculator): Calcule la transformée de Laplace inverse de F(s) = N(s)/D(s) (fraction propre, dénominateur de degré ≤ 6) : racines du dénominateur regroupées par multiplicité et paires conjuguées, décomposition en fractions partielles par résolution d'un système linéaire sur les coefficients polynomiaux, puis inversion terme à terme avec les paires standard (A/(s−r)→Ae^(rt), A/(s−r)^j→At^(j−1)e^(rt)/(j−1)!, (Bs+C)/((s−α)²+β²)→e^(αt)\[Bcos(βt)+…sin(βt)\]). Classiques : 1/(s²+3s+2) → e^(−t)−e^(−2t) ; (3s+5)/(s²+4) → 3cos(2t)+2,5sin(2t).
- [Calculateur de transformée de Laplace (table des paires)](https://elysiatools.com/fr/tools/laplace-transform-calculator): Obtient par table la transformée de Laplace F(s) = ∫₀^∞ e^(−st)f(t)dt : 14 paires standard (1, t, tⁿ, e^(at), tⁿe^(at), sin/cos(kt) et leurs décalages exponentiels, sinh/cosh, t·sin/t·cos, δ(t)), avec substitution des paramètres, région de convergence (p. ex. s > a), note de dérivation et évaluation numérique facultative en un point s (avec contrôle de convergence). Exemple : L{e^t} = 1/(s−1), s>1, F(2) = 1.
- [Ordre multiplicatif modulo n (ordre d'un élément)](https://elysiatools.com/fr/tools/order-of-element-mod-n): Calcule l'ordre multiplicatif ord\_n(a) — le plus petit k ≥ 1 tel que a^k ≡ 1 (mod n) (exige gcd(a, n) = 1). L'algorithme part de φ(n) et retire les facteurs premiers en testant a^(ord/p) ; la sortie comprend la table des puissances de a, la preuve de minimalité (a^(k/p) ≢ 1 pour chaque premier p | k), le sous-groupe cyclique engendré , et signale si a est une racine primitive (ord = φ(n)) ou atteint l'ordre maximal (ord = λ(n)). Classiques : ord\_7(3) = 6 = φ(7), 3 est une racine primitive modulo 7 ; ord\_15(2) = 4 < φ(15) = 8.

## Exemples

- [Exemples de Traitement d'Images Web Python](https://elysiatools.com/fr/samples/web-image-processing-python): Exemples de traitement d'images Web Python utilisant PIL/Pillow incluant la lecture, l'enregistrement, le redimensionnement et la conversion de format
- [Exemples de Traitement d'Images Android Java](https://elysiatools.com/fr/samples/android-image-processing-java): Exemples de traitement d'images Android Java incluant lecture/écriture, mise à l'échelle et conversion de format
- [Exemples de Traitement d'Images Android Kotlin](https://elysiatools.com/fr/samples/android-image-processing-kotlin): Exemples de traitement d'images Android Kotlin incluant lecture/écriture, mise à l'échelle et conversion de format
- [Exemples de Traitement d'Images Web Rust](https://elysiatools.com/fr/samples/web-image-processing-rust): Exemples de traitement d'images Web Rust incluant lecture/écriture, redimensionnement et conversion de format
