  Using a generalized proper-time method, we obtain expressions for the fermion
density and the QED effective Lagrangian for an external magnetic field at
finite chemical potential. The effective Lagrangian and the density are here
written in terms of elementary functions, summed over a finite number of filled
Landau levels.
