  We give a proof of the Lieb-Thirring inequality on the kinetic energy of
orthonormal functions by using a microlocal technique, in which the uncertainty
and exclusion principles are combined through the use of the Besicovitch
covering lemma.
