← Mathematical handbook

Genest–Ghoudi tail coefficients from Table 3

theorem Papers.AnsariRockel2024.genestGhoudi_tails (θ : ℝ) (hθ : 1 ≤ θ) : (ProbabilityTheory.Copula.genestGhoudi θ hθ).HasLowerTailDependence 0 ∧ (ProbabilityTheory.Copula.genestGhoudi θ hθ).HasUpperTailDependence (2 - 2 ^ θ⁻¹)

Both printed Genest–Ghoudi tail coefficients for every finite admissible parameter.