Trong dãy số gồm 2010 số thực khác 0 được sắp xếp theo thứ tự ta đánh dấu tất cả các số dương và tất cả các số mà tổng của nó với một số liên tiếp liền ngay sau nó là một số dương. Ví dụ với dãy số -8, -4, 5, -1, 2, -1, -2, -3, ...., -2005 thì các số được đánh dấu là
Chứng minh rằng nếu trong dãy đã cho có ít nhất một số dương thì tổng của tất cả các số được đánh dấu là một số dương.
Nếu tất cả các số là số dương thì suy ra đpcm.
Xét trường hợp tồn tại i để được đánh dấu và < 0, chọn i là chỉ số nhỏ nhất như vậy.
Khi đó theo giả thiết tồn tại k để > 0
Giả sử k là số nhỏ nhất để > 0 (1)
(hiển nhiên k ≥ 1).
Như vậy:
< 0
≤ 0
...........
≤ 0
Ta có > 0 => > 0
=> được đánh dấu.
> 0 => > 0
=> được đánh dấu.
..............
Cuối cùng > 0 => > 0
=> cũng được đánh dấu.
Suy ra tất cả các số đều được đánh dấu.
Như vậy, trong các số các số được đánh dấu có tổng lớn hơn 0.
Tiếp tục quá trình lập luận như trên cho các số còn lại . Sau một số hữu hạn bước ta được đpcm.