Nier l'assertion Vr € [2,5], 3y > 0, In(x) ​