Generalized Horn function \ (H₄, ₏, ₐ, ^\) and related bounding inequalities with applications to statistics | Synapse