EDB — 0BN

[0BN]Note that if you replace $f\mapsto -f$, $l\mapsto -l$, you pass from the definitions of $lim sup$ to those of $lim inf$ (and vice versa). Another symmetry is achieved by switching $x_0\to -x_0$ and right and left neighbourhoods/limits.