Definition:Formula for Real Function