Kahn–Kalai large-subcube conjecture for monotone cube sets
Kahn–Kalai conjecture. For every L>0L>0L>0, there exist L′>0L'>0L′>0 and δ>0\delta>0δ>0 such that if