Bonsoir,
Je cite le message en numérotant les lignes :
rcompany @ 06-11-2018 à 04:021) rappel de la définition de la partie entière n de x:
2)
3) Attention à ne pas utiliser dans la démonstration la croissance de la fonction partie entière, puisqu'elle n'a pas encore été démontrée!
4) Supposons que
5) Soient
)
et
)
les parties entières respectives de

et
6)
7)
8)
9)
10)
11)
12) Dans tous les cas de figure on a montré que
13) donc en résumé,
 \leqslant E(y))
ce qui equivaut à dire que E(x) est croissante sur

Ainsi,
pikobrahm, tu pourras préciser la ou les lignes qui posent problème.
Ceci dit, cette démonstration n'est pas la plus simple, loin de là.
Je te conseille plutôt de chercher avec la contraposée ou la méthode de
carpediem.