sqrt((2^r + 1)(t + 1)) <= min(2^r, t)