A classical theorem of R. Baer describes the nilpotent radical of a finite group G as the set of all Engel elements, i.e. elements y ∈ G such that for any x ∈ G the nth commutator [x, y, . . . , y] equals 1 for n big enough. We obtain a characterization of the solvable radical of a finite dimensional Lie algebra defined over a field of characteristic zero in similar terms. We suggest a conjectu...