Suppose $n$ vectors $v_1, v_2,...,v_p,v_{p+1},...,v_n$. Let $G(v_1,...,v_n)$ the Gramian matrix of $v_1,...v_n$.
Prove that : $|G(v_1,...,v_p)|\cdot|G(v_{p+1},...v_n)| \geq |G(v_1,...,v_n)|$.
For $p=1$, it could be proved by its positive definiteness, but I have no idea for $p\ge2$...
The definition of Gramian matrix is here: Gram matrix
Thanks a lot ~