NOMBRES HAUTEMENT COMPOSES 117
où 7r(x) désigne le nombre de nombres premiers inférieurs à x, Erdôs et Alaoglu
ont donné [1, Theorem 13] une formule permettant de déterminer a\ à une
unité près quel que soit X, et Erdôs a amélioré la formule (3) en montrant [2]:
(5) Q(X) ^ (logXy+c
avecc = 1(1 - T) S 3/32.
L'objet de cet article est d'étudier la répartition des nombres hautement
composés entre deux nombres hautement composés supérieurs consécutifs.
Nous montrerons que ce problème est lié à celui des approximations diophan-
tiennes du nombre 6 = log(3/2)/log 2 et plus précisément à l'étude des
formes linéaires à coefficients entiers
^ukdk,
avec 6k = log(l + l/£)/log 2.
Le récent théorème de Feldmann [3] améliorant les travaux de Baker sur les
formes linéaires de logarithmes de nombres algébriques, nous dit qu'il existe
des constantes c et
K
telles que l'on ait: \qd — p\ > c/qK pour tous£, q entiers.
Cela nous permettra de montrer que: Q(X) :g (logX)c' (théorème 4).
Nous améliorerons les résultats de Erdôs et Alaoglu sur le calcul des
exposants a\ (théorème 2) et nous augmenterons légèrement la constante c de
la formule (5). Finalement nous conjecturons que:
lîm Jog Q&) - i . log(3/2) + log(5/4) __ 977
™loglogZ~1+ 41og2 -l.-"/-...
2.
Nombres hautement composés supérieurs. On dit que N est un
nombre hautement composé supérieur s'il existe un nombre réel e > 0, tel que,
pour tout M entier, on ait:
d(M) ^djN)
M* = Ne *
Propriétés [8, §§ 32-34]. e étant donné, 0 < e < 1, il existe un nombre
hautement composé supérieur associé à e dont la décomposition en facteurs
premiers, N = II Xax est donnée par:
(6)
ax = • e __ = partie entière de , _ .
On attache à N = Ne les nombres:
(7)
x = 21/e et xk =
xl0^1+1/k^l0ë
2.
On a alors:
(8)
ax = k
<=»
xk+i
< X g xk.
Soit p ^ x < P les nombres premiers encadrant x. Le plus grand nombre
premier qui divise N est p et le nombre hautement composé supérieur suivant
N est inférieur ou égal à NP.