An explicit regularly varying offspring law for every stable index

The witness has a Pareto tail μ[j,∞) = j^{-θ} / ζ(θ); it lies in the stable domain by the ported tail criterion (Feller, vol. II, XVII.5).

theorem BGW.StableTrees.existsStableDomain_pareto {θ : ℝ} (hθ : 1 < θ ∧ θ ≤ 2) : ∃ (μ : PMF ℕ) (a : ℕ → ℝ), StableDomain μ θ a

An explicit critical offspring law with a Pareto tail in the normalized stable domain.