Suppose that are nonnegative real numbers such that ; denote the corresponding set of vectors by .
I am interested in the following function, , given by
We always have , using the lower bound . However I feel this must be a loose bound on the quantity
since it requires that for all to be met with equality. Hence, I am wondering what the largest can be when evaluated over the simplex?