# Prove that for every positive integer $n$, $1/1^2+1/2^2+1/3^2+\cdots+1/n^2\le2-1/n$

Base case: n=1. $1/1\le 2-1/1$. So the base case holds.

Let $n=k\ge1$ and assume

$$1/1^2+1/2^2+1/3^2+\cdots+1/k^2\le 2-1/k$$

We want to prove this for $k+1$, i.e.

$$(1/1^2+1/2^2+1/3^2+\cdots+1/k^2)+1/(k+1)^2\le 2-\frac{1}{k+1}$$

This is where I get stuck. Any help appreciated.

#### Solutions Collecting From Web of "Prove that for every positive integer $n$, $1/1^2+1/2^2+1/3^2+\cdots+1/n^2\le2-1/n$"

For your induction step, all you need is
$$2-\frac{1}{k}+\frac{1}{(k+1)^2}\leq 2-\frac{1}{k+1}.$$
That’s equivalent to
$$\frac{1}{k}-\frac{1}{(k+1)^2}-\frac{1}{k+1}\geq 0$$
i.e.
$$\frac{(k+1)^2-k-k(k+1)}{k(k+1)^2}=\frac{1}{k(k+1)^2}\geq 0.$$
So it holds.

$\displaystyle \frac{1}{i^2}< \frac{1}{i(i-1)}=\frac{1}{i-1}-\frac{1}{i}$,for $i\ge 2$

So we have $\displaystyle 1+\sum_{i=2}^{k}\frac{1}{i^2}\le 1+\sum_{i=2}^{k}(\frac{1}{i-1}-\frac{1}{i})=2-\frac{1}{k}$

I think this is better than induction.

Let’s assume it’s true for $k$.
Then $\sum_{i=1}^k\dfrac{1}{i^2}\leq2-\dfrac 1 k$

Let’s try $k+1$.

$\sum_{i=1}^{k+1}\dfrac{1}{i^2}=\sum_{i=1}^k\dfrac{1}{i^2}+\dfrac{1}{(k+1)^2}\leq2-\dfrac 1 k+\dfrac{1}{(k+1)^2}$

As $\dfrac{1}{(k+1)^2}-\dfrac 1 k<-\dfrac{1}{k+1}$ ,

$\sum_{i=1}^{k+1}\dfrac{1}{i^2}\leq2-\dfrac{1}{(k+1)^2}$
which shows that it is true for $k+1$.

I will give only a hint. Where you get stuck, you have by induction hypothesis that
$$1/1^2+\ldots+1/k^2\leq 2-1/k$$
Subtituting this in
$$1/1^2+\ldots+1/k^2+1/(k+1)^2$$
gives you
$$1/1^2+\ldots+1/k^2+1/(k+1)^2\leq 2-1/k+1/(k+1)^2$$
And then, you have only to prove
$$2-1/k+1/(k+1)^2\leq 2-1/(k+1)$$
Here, I think you will be able to rewrite the inequality in order to prove it.
{"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 1, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "url": "http://bootmath.com/prove-that-for-every-positive-integer-n-1-121-221-32cdots1-n2le2-1-n.html", "fetch_time": 1531724594000000000, "content_mime_type": "text/html", "warc_filename": "crawl-data/CC-MAIN-2018-30/segments/1531676589222.18/warc/CC-MAIN-20180716060836-20180716080836-00204.warc.gz", "warc_record_offset": 56209641, "warc_record_length": 6062, "token_count": 876, "char_count": 1744, "score": 4.46875, "int_score": 4, "crawl": "CC-MAIN-2018-30", "snapshot_type": "latest", "language": "en", "language_score": 0.6874479651451111, "file_path": "/sailhome/yjruan/project/latent-lm/data/processed/finemath-4plus/finemath-4plus/train-00036-of-00064.parquet"}