
\displaystyle
\lim_{n\rightarrow+\infty}f(O_n)=f(D).
