The goal here is to recover an apocryphal result on the structure of holomorphic discrete series representations of symplectic groups Spn(R) and unitary groups U(p, q) for sufficiently high highest weight of the lowest K-type. The same sort of argument applies to other groups of hermitian type, for example the classical groups O(n, 2) and O∗(2n). For Sp(n), the maximal compact is isomorphic to ...