Real closed interval/Strictly increasing/Inverse function/Continuous/Fact