Sylvester's inequality (hard direction): $\dim W \le n_+(A)$ for subspaces where $A$ is positive definite

Initializing...

Sylvester's inequality (hard direction): $\dim W \le n_+(A)$ for subspaces where $A$ is positive definite · Prove2Me