for r being Real st 0 < r holds
lim (InvShift r) = 0