Tightness conjecture. The bound from Theorem bound-alternate is tight for all such ppp, kkk, and rrr; equivalently,
