for r being Real st 0 < r holds
InvShift r is convergent