Lower-bounds sharpening conjecture. Then
Lower-bounds phase-transition conjecture. Under these assumptions,
