Real function/Continuous/Composition/Fact