Reciprocal Sequence is Strictly Decreasing

Theorem
The reciprocal sequence:


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

is strictly decreasing.

Also see

 * Harmonic Series is Divergent
 * Existence of Euler-Mascheroni Constant