Цитата:
Theorem A. Let

be a positive integer and let

denote the sequence (

, ...). Then the rational number

is the finite sum of distinct terms taken from

if and only if for all

there is a fniite sun s of distinct terms taken from

such that

.
А это почему? Если бы вместо

было

, то теорема была бы неверна. Если бы

стремилось у нулю быстрее, чем

, тогда еще понятно, а так непонятно.