Araki–Lieb–Thirring inequality