Template:Did you know nominations/Van den Berg–Kesten inequality