Beneath the valley of the noncommutative arithmetic-geometric mean inequality: conjectures, case-studies, and consequences