  Motivated by a sharp eigenvalue estimate for the Kohn Laplacian, we prove a
theorem that characterizes the CR sphere in terms of the existence of a
non-trivial complex-valued function satisfying a certain overdetermined system.
