Gumbel–Hougaard lower-orthant parameter order from Table 3 #
theorem
Papers.AnsariRockel2024.gumbel_lowerOrthant
{θ η : ℝ}
(hθ : 1 ≤ θ)
(hη : 1 ≤ η)
(hθη : θ ≤ η)
:
For all finite admissible parameters θ ≤ η, Gumbel–Hougaard at θ lies below Gumbel–Hougaard at η in lower-orthant order on the closed square.