It is well known that the Neuman eigenvalue problem has discrete spectrum and the eigen values are nonnegative and can be arranged in a nondecreasing order of magnitude. Do we need any smoothness condition on the boundary? Is it true for more a general Elliptic operator? I have hard time to find a solid reference. Can anyone suggest? Thanks!