IMO 2000 - Các bài toán đề xuất chọn lọc Câu hỏi 19

N6 (ROM). Chứng minh rằng tập các số nguyên dương không thể biểu diễn thành tổng các số chính phương phân biệt là hữu hạn.