Question Number 182934 by moh777 last updated on 17/Dec/22
$$\:\:\:\:\:\:\:\:{Is}\:{that}\:{right}\:! \\ $$$$\:\:\:\:{IF}\:\::\: \\ $$$$\underset{{k}\:=\:\mathrm{1}} {\overset{{n}} {\sum}}\:\left(\lfloor\frac{{n}}{{k}}\rfloor−\lfloor\frac{{n}−\mathrm{1}}{{k}}\rfloor\right)\:=\:\mathrm{2} \\ $$$$\:\:\:{so}\:{n}\:{is}\:{a}\:{prime}\:{number}\:. \\ $$
Answered by dre23 last updated on 17/Dec/22
$$\Leftrightarrow\forall{n}\geqslant\mathrm{2} \\ $$$$\underset{{k}=\mathrm{2}} {\overset{{n}} {\sum}}\left(\left[\frac{{n}}{{k}}\right]−\left[\frac{{n}−\mathrm{1}}{{k}}\right]\right)=\mathrm{1}\:{n}\:{est}\:{premiers} \\ $$$${n}=\mathrm{2}\:{worcks}\:\forall{n}\geqslant\mathrm{3} \\ $$$$\Leftrightarrow\underset{{k}=\mathrm{2}} {\overset{{n}−\mathrm{1}} {\sum}}\left(\left[\frac{{n}}{{k}}\right]−\left[\frac{{n}−\mathrm{1}}{{k}}\right]\right)=\mathrm{0} \\ $$$${f}\left({n},{k}\right)=\left[\frac{{n}}{{k}}\right]−\left[\frac{{n}−\mathrm{1}}{{k}}\right] \\ $$$${if}\:{n}\:{is}\:{not}\:{prime}\:\exists{s}\in\mathbb{N}−\left\{\mathrm{1},{n}\right\}\:{such}\:{n}={sp} \\ $$$$\frac{{n}}{{s}}={p}\:{and}\frac{{n}−\mathrm{1}}{{s}}={p}−\frac{\mathrm{1}}{{p}}, \\ $$$$\left[\frac{{n}}{{k}}\right]={p},\left[\frac{{n}−\mathrm{1}}{{k}}\right]={p}−\mathrm{1} \\ $$$$\underset{{k}=\mathrm{2}} {\overset{{n}−\mathrm{1}} {\sum}}\left(\left[\frac{{n}}{{k}}\right]−\left[\frac{{n}−\mathrm{1}}{{k}}\right]\right)=\underset{{k}=\mathrm{2},{k}\neq{k}} {\overset{{n}−\mathrm{1}} {\sum}}{f}\left({n},{k}\right)+{p}−\left({p}−\mathrm{1}\right)\geqslant{p}−\left({p}−\mathrm{1}\right)=\mathrm{1} \\ $$$$\Leftrightarrow\underset{{k}=\mathrm{2}} {\overset{{n}−\mathrm{1}} {\sum}}{f}\left({n},{k}\right)\geqslant\mathrm{1}>\mathrm{0}\Rightarrow{not}\:{true} \\ $$$${so}\:\underset{{k}=\mathrm{1}} {\overset{{n}} {\sum}}{f}\left({n},{k}\right)=\mathrm{2}\Rightarrow{n}\:{is}\:{prime}\:{true} \\ $$$$ \\ $$$$ \\ $$