Expected smallest singular value of a Gaussian matrix: $\mathbb E\,\sigma_{\min}(G)\ge\sqrt N-\sqrt n$

Initializing...

Expected smallest singular value of a Gaussian matrix: $\mathbb E\,\sigma_{\min}(G)\ge\sqrt N-\sqrt n$ · Prove2Me