Function/R/Limit/Epsilon/Rules/Fact/Proof