Definition:Frequency of Periodic Real Function