for X being set
for r being Real st 0 < r & r < 1 holds
X -powers r is summable