Strong Mason Conjecture is a result in [matroid theory](/page/Matroid%20Theory). It formalizes the assertion that let be a matroid of rank on a finite ground set with , and let be the number of independent sets of size . Extend the sequence by setting for . Then is ultra log concave of order . In explicit form, \begin{align } I k(M)^2 \ge.