  We study Riesz means of eigenvalues of the Heisenberg Laplacian with
Dirichlet boundary conditions on a cylinder in dimension three. We obtain an
inequality with a sharp leading term and an additional lower order term.
