n appartient à A=>n^2+4 apparient à A=>[V(n^2+4)]+1=n+1 appartient à A
pour n>=4 n+1>2.Vn>=Vn+2 =>n-1>=Vn+1>=[Vn]+1
n appartient à A=>[Vn]+1 appartient à A=>[Vn]+2...n-1 appartient à A
{3,4,...} appartient à A
pour n=3 [Vn]+1=2 appartient à A
n=2 [Vn]+1=2 =>A={2,3,4,...}