C'est pas plutôt 0<W<Y-x ?
ah si effectivement
Du coup tu devrais pouvoir y arriver (ça va tout de suite mieux quand on part des bonnes hypothèses)
Hey !Du coup j'ai réussi à prouver que x < E(x/w)+1 < y mais je dois en déduire l'existence d'un lément de G dans l'intervalle ]x;y[.
Comment faire ?
PS : j'imagine qu'il faut prouver que E(x/w)*w € G mais comment ? merci !