Round separator sizes up to a monotone positive integer bound, and recurse on balanced components. Delete isolated vertices first so the recursive order is at most twice the edge count, then restore their singleton bags. The inequality log x ≤ x^epsilon/epsilon absorbs depth at exponent beta=(1+b)/2, still below one.