theorem Th28: :: SEQ_4:28

for r being Real
for seq being Real_Sequence st 0 <= r & ( for n being Nat holds seq . n = 1 / (n + r) ) holds
seq is convergent