Цитата:
  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 

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

 было 

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

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

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