User:Barto/Sandbox/nav/2/Continuous Real Function