Dimension bound for Lie nilpotent subalgebras of matrix algebras
Conjecture. There are integers k1,…,kn,kn+1k_1,\ldots,k_n,k_{n+1}k1,…,kn,kn+1 satisfying