Reciprocal Sequence is Strictly Decreasing/Proof 1
Jump to navigation
Jump to search
Theorem
The reciprocal sequence:
- $\sequence {\operatorname {recip} }: \N_{>0} \to \R$: $n \mapsto \dfrac 1 n$
Proof
Follows from Reciprocal Function is Strictly Decreasing and from Restriction of Monotone Function is Monotone.
$\blacksquare$