Discussion Overview
The discussion revolves around a specific line in a proof related to sequences of nonnegative numbers and their limits. Participants seek clarification on the validity of an equality involving supremums and averages of subsequences, particularly under the condition that ##M>N##.
Discussion Character
- Technical explanation
- Debate/contested
Main Points Raised
- One participant questions the equality ##\displaystyle \sup \{\frac{1}{n} (s_{N+1} + \cdots + s_n) ~|~ n>M \} = \frac{n-N}{n}\sup \{s_n ~|~ n > N \}## and seeks justification for its truth.
- Another participant suggests that while it is possible to establish an inequality ##\displaystyle \sup \{\frac{1}{n} (s_{N+1} + \cdots + s_n) ~|~ n>M \} \leq \frac{n-N}{n}\sup \{s_n ~|~ n > N \}##, they ask if there is information available to demonstrate the reverse inequality.
- A third participant expresses doubt about the equality, proposing that it might actually be an error and should be ##\leq## instead, although they note that this does not invalidate the overall proof since it is part of a series of inequalities.
Areas of Agreement / Disagreement
Participants do not reach a consensus on the validity of the equality in question. There are competing views regarding whether the equality holds or if it should be an inequality.
Contextual Notes
The discussion references a specific context from a solution document, indicating that the understanding of the equality may depend on prior information not fully provided in the thread.