Reciprocal Sequence is Strictly Decreasing/Proof 1

Theorem
The reciprocal sequence:


 * $\langle{\operatorname{recip}}\rangle: \N_{>0} \to \R$: $n \mapsto \dfrac 1 n$

is strictly decreasing.

Proof
Follows from Reciprocal Function Strictly Decreasing and from Restriction of Monotone Function is Monotone.