Reciprocal Sequence is Strictly Decreasing

From ProofWiki
Jump to: navigation, search

Theorem

The reciprocal sequence:

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

is strictly decreasing.


Proof 1

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

$\blacksquare$


Proof 2

Let $n \in \N_{>0}$.

\(\displaystyle \frac 1 n - \frac 1 {n + 1}\) \(=\) \(\displaystyle \frac {\paren {n + 1} - n} {n \paren {n + 1} }\) $\quad$ $\quad$
\(\displaystyle \) \(=\) \(\displaystyle \frac 1 {n^2 + n}\) $\quad$ $\quad$
\(\displaystyle \) \(>\) \(\displaystyle 0\) $\quad$ $\quad$
\(\displaystyle \leadsto \ \ \) \(\displaystyle \frac 1 n\) \(>\) \(\displaystyle \frac 1 {n + 1}\) $\quad$ $\quad$

Hence the result, as $n$ was arbitrary.

$\blacksquare$


Also see