Rational function/R/Continuous/Fact/Proof