MathDB
TOT 225 1989 Autumn O J3 sum of any 10 of 1989 is positive

Source:

March 12, 2021
combinatoricsalgebra

Problem Statement

A set of 19891989 numbers is given. It is known that the sum of any 1010 of them is positive. Prove that the sum of all these numbers is positive.
(Folklore)