Hadamard’s inequality
Let \(A\in \mathbb {C}^{N\times N}\) be comprised of columns \(a_i\in \mathbb {C}^N\), \(i=1,\ldots ,N\). Prove that \[ |\det A|\le \prod _{i=1}^{N}\|a_i\|_2. \] You may use, for example, a QR decomposition/Gram-Schmidt argument.