Let $L=L(x,y)$ be the free Lie algebra generated by letters $x,y.$ For a vector subspace $V\leq L$ we denote by $[V,L]$ the vector space spanned by brackets $[v,l],v\in V,l\in L.$ A vector subspace $V\leq L$ is an ideal of $L$ if and only if $$V=V+[V,L].$$ Consider the following increasing sequence of vector spaces which starts from the ${\rm span}(x):$ $$V_0={\rm span}(x),$$ $$V_1=V_0+[V_0,L],$$ $$\dots$$ $$V_{n+1}=V_n+[V_n,L].$$ Then $$\bigcup_{n} V_n=(x),$$ where $(x)$ is the ideal of $L$ generated by $x.$

**Question**:
How to prove that
$$(x)\ne V_n$$
for any $n$? For example, I believe that the left-normed commutator $[x,\underbrace{y,\dots,y}_{n+1}]$ is not an element of $V_n.$ But I can't prove this.

5more comments