MathDB
\sum_{i=N}^{N+k} a_i \ge 0

Source: Polish MO Finals 1975 p1

August 23, 2024
algebrainequalities

Problem Statement

A sequence (ak)k=1(a_k)_{k=1}^{\infty} has the property that there is a natural number nn such that a1+a2+...+an=0a_1 + a_2 +...+ a_n = 0 and an+k=aka_{n+k} = a_k for all kk. Prove that there exists a natural number NN such that i=NN+kai0fork=0,1,2...\sum_{i=N}^{N+k} a_i \ge 0 \,\, \,\, for \,\,\,\, k = 0,1,2...