Lieb–Thirring_inequality loading ...