Definition:Period of Periodic Real Function