Prove that exists m among ai whose sum is at least m

Printable View