Suppose that and
for some
. What is
where is the set of functions from
to
That is, if two sets of numbers (possibly multisets) sum to numbers and
, what is the maximum sum of products of pairs of numbers, where each pair contains exactly one element from each set?
Is the question different if we restrict to the case where and
are integral for all
and
?