The aim of this note is to prove that if L is a finite Lie algebra and
the probability for a random pair of elements to satisfy the Engel id
entity E-n is big enough, then L satisfies the Engel identity E-n.. We
also show that if many elements of a finite p-group G have order p, t
hen the associated Lie algebra L(G) satisfies the Engel identity Ep-1.
Finally, we improve a little previous results.