
$n_0 = 2^b h - 1$
