Remark
45
[0BN]Note that if you replace \(f↦ -f\), \(l↦ -l\), you pass from the definitions of \(\limsup \) to those of \(\liminf \) (and vice versa). Another symmetry is achieved by switching \(x_ 0 → -x_ 0\) and right and left neighbourhoods/limits.