Ellipticity and discrete series

We explain by elementary means why the existence of a discrete series representation of a real reductive group $G$ implies the existence of a compact Cartan subgroup of $G$. The presented approach has the potential to generalize to real spherical spaces.