https://www.jbacaob.com//posts/imc2026p8/
Tackling an eigenvalue inequality - Jafet Baca