Definition:Oscillation of Real Function at Point/Infimum