aymanemaysae a montré que x=V(4n+2)>V(n+1)+V(n)=y
Mais x-y<V(n+1)-V(n)=1/y<1 alors E(y)+1>=E(x)>= E(y)
si E(x)=E(y)+1, on pose p=E(y)+1 >2
==> p=<x
==> p²=<4n+2
==> p²+1=<4n+2 car p²=0 ou 1 modulo 4
==> V(p²-1) +V(p²+3) =<2V(n+1)+2V(n)<2(E(y)+1)=2p
==> V(p²-1) +V(p²+3)<2p
==> 1 +V(p^4+2p²-3)<p² absurde car 2p²-3>0. Donc E(x)=E(y)