\lim_{n \to \infty} f(D)-f(O_n)=f(D)-\lim_{n \to \infty} f(O_n)=0