lim0→