Continuous real function/Approximation properties/Fact/Proof/Exercise