Les premiers champions p de eta1 et les valeurs eta1(p). 

Si p et p^ sont deux champions consecutifs et p <= x < p^ 
on a eta1(x) = eta1(p).

Si p est un champion, pour tout x >= p, l'intervalle
(eta1(x), x] contient au moins un nombre premier.


[     2,    3/5],
[     5,    7/11],
[    11,    13/17],
[    17,    23/29],
[    29,    31/37],
[    37,    47/53],
[    53,    113/127],
[   127,    139/149],
[   149,    199/211],
[   211,    211/223],
[   223,    293/307],
[   307,    317/331],
[   331,    523/541],
[   541,    1327/1361],
[  1361,    1669/1693],
[  1693,    1951/1973],
[  1973,    2179/2203],
[  2203,    2477/2503],
[  2503,    2971/2999],
[  2999,    3271/3299],
[  3299,    4297/4327],
[  4327,    4831/4861],
[  4861,    5591/5623],
[  5623,    5749/5779],
[  5779,    5953/5981],
[  5981,    6491/6521],
[  6521,    6917/6947],
[  6947,    7253/7283],
[  7283,    8467/8501],
[  8501,    9551/9587],
[  9587,    9973/10007],
[ 10007,    10799/10831],
[ 10831,    11743/11777],
[ 11777,    15683/15727],
[ 15727,    19609/19661],
[ 19661,    31397/31469],
[ 31469,    34061/34123],
[ 34123,    35617/35671],
[ 35671,    35677/35729],
[ 35729,    43331/43391],
[ 43391,    44293/44351],
[ 44351,    45893/45943],
[ 45943,    48679/48731],
[ 48731,    58831/58889],
[ 58889,    59281/59333],
[ 59333,    60539/60589],
[ 60589,    79699/79757],
[ 79757,    89689/89753],
[ 89753,    107377/107441],
[107441,    155921/156007],
[156007,    188029/188107],
[188107,    212701/212777],
[212777,    218287/218357],
[218357,    265621/265703],
[265703,    370261/370373],
[370373,    396733/396833],
[396833,    492113/492227],
[492227,    604073/604171]