lim(sum((-x