Lieb–Thirring conjecture