Definition:Real Periodic Function