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

Proof

This follows from fact and from fact.