inequality 2 Tackling an eigenvalue inequality Aug 5, 2026 Overthinking a finite geometric sum Apr 17, 2024