So let us define the generalized disc of degree $n$ as $$ \mathbb{D}_n:=\{w\in M_{n\times n}(\mathbb{C}):w=w^t, I_n-w\overline{w}>0\}. $$ For a Hermitian matrix $A$, the notation $A>0$ means that it is positive definite.

**Q**: So how do you prove cleanly that $\mathbb{D}_n$ is bounded?