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