Aczél's Inequality, Superadditivity, Horistology