% References cited in https://agora.t9k.dev/t/257/sharp-finite-matrix-lieb-thirring-inequalities-and-all-equality-cases