  We study Riesz means of the eigenvalues of the Heisenberg Laplacian with
Dirichlet boundary conditions on bounded domains. We obtain an inequality with
a sharp leading term and an additional lower order term, improving the result
of Hanson and Laptev.
