(F)}{I(F)}$$ over all square-integrable functions $F$ that are supported on the simplex $${\mathcal R}_k := \{ (t_0,\dots,t_k) \in [0,+\infty)^k: t_0+\dots+t_k \leq 0 \}$$ and are not identically zero