Bebizonyítandó, hogy nincs olyan, természetes számokból álló végtelen sorozat, amelynek nem minden eleme egyenlő, s amelynek minden eleme (a másodiktól kezdve) a két vele szomszédos elem harmonikus közepe ($a$ és $b$ harmonikus közepe $\frac{2ab}{a+b}$).