Does any identity holding in all finite-dimensional Lie algebras hold in all Lie algebras? Equivalently, is the free Lie algebra on finitely many generators over a fixed field $k$ (say of characteristic not equal to $2$) residually finite-dimensional in the sense that any nonzero element remains nonzero in some finite-dimensional quotient? Some quick Googling on my part was not successful here. 
Motivation: If this is false, an identity holding in all finite-dimensional Lie algebras which doesn't hold in all Lie algebras isolates a potentially interesting class of infinite-dimensional Lie algebras (namely the ones satisfying the identity). 
 A: Maybe I am missing something but let me try. The free Lie algebra is a subalgebra of the free associative algebra made Lie via the bracket. The free associative algebra is residually finite dimensional by truncating polynomials. Hence its Lie algebra is residually finite dimensional. Here I assume finitely generated but that is enough. 
clarification. I wrote this answer before going to bed so let me say it better. There is a functor from associative algebras to Lie algebras which sends A to the vector space A with the commutator bracket $[a,b]=ab-ba]$. It is then clear that this functor preserves residual finite dimensionality. 
It is well known that the free Lie algebra is obtained by applying this Functor to the free associative algebra and generating a sub-Lie algebra by the letters. Since the free associative algebra is residually finite by truncating polynomials we are done. 
A: I believe this is entirely equivalent to Benjamin Steinberg's answer, but one way to see this is that the quotient of a free Lie algebra on finitely many generators by the $n$th term $\mathfrak{F}_n$ of the lower central series (i.e., the ideal generated by $n$-fold bracketings of generators) is a finite dimensional Lie algebra, namely, the free Lie algebra of nilpotence class $n$ on the same generating set. Each element of the free Lie algebra lies outside of $\mathfrak{F}_{d + 1}$, where $d$ is the maximal bracket-nesting depth of the element.
