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