Positive integers $k$ and $n$ are given such that $3 \le k \le n$.Prove that among any $n$ pairwise distinct real numbers one can choose either $k$ numbers with positive sum, or $k-1$ numbers with negative sum. Proposed by Mykhailo Shtandenko