← Mathematical handbook

Table 3: Genest–Ghoudi lower-orthant parameter order

theorem Papers.AnsariRockel2024.genestGhoudi_lowerOrthant_mono {θ η : ℝ} (hθ : 1 ≤ θ) (hθη : θ ≤ η) : (ProbabilityTheory.Copula.genestGhoudi θ hθ).LowerOrthantLE (ProbabilityTheory.Copula.genestGhoudi η ⋯)

Table 3: Genest–Ghoudi (Nelsen 15) increases in lower-orthant order.