for b, d being Real
for a being non zero Real holds lim (rseq (a,b,a,d)) = 1