det⁡[aj⁢k]2≤(∑nk=1a1⁢k2)⁢(∑nk=1a2⁢k2)⁢…⁢(∑nk=1an⁢k2).