Proof
(related to Proposition: Limit of the Constant Function)
Context
 Let $c\in\mathbb R$ and let $a\in\mathbb R.$
 Let $f:\mathbb R\to\mathbb R,$ $f(x)=c$ be the constant function.
Hypothesis
Implications
 Then for $\delta:=\epsilon$ we have that for all $x$ with $0 < xa < \delta$ we have that $f(x)c=cc=0 < \epsilon.$
Conclusion
Thank you to the contributors under CC BYSA 4.0!
 Github:

References
Bibliography
 Kane, Jonathan: "Writing Proofs in Analysis", Springer, 2016