Bernoulli's inequality gives $(1-δ)^levels ≥ 1-levels*δ ≥ 1-ε$. The certified upper bound dominates every independent-set cardinality, so the returned set has the requested unweighted approximation guarantee.