I have found a problem like this: given n kind of cakes with amounts $$$a_1, a_2, ..., a_n$$$ (there are $$$a_i$$$ cakes of the $$$i-$$$th kind for $$$1 \le i \le n$$$). We need to take out as much as ~tuples,2023-08-03 of distinct cakes. What is the maximum number of tuples can we get?

For example: we have $$$4$$$ kinds of cake as $$$(A,B,C,D)$$$ with amounts: $$$a[4] = {20,30,40,50 }$$$ and $$$k=3$$$. We can get at most $$$45$$$ tuples as: $$$5$$$ tuples $$$(A,B,C)$$$ and $$$15$$$ tuples $$$(A,C,D)$$$ and $$$25$$$ tuples $$$(B,C,D)$$$.

I came up with this idea to solve as follow:

By this idea, for another test case as: $$$a[5] = {1,2,3,1000,1000}$$$ and $$$k=4$$$, I got the answer $$$3$$$ after some iteration. And with some other test cases, I'm pretty sure this idea is true.

I have two questions: is this problem new and how to prove this approach? Thanks for your help.