MathDB
Existence of natural - involves floor function, sqrt{2}

Source: ILL 1979 - Problem 56.

June 5, 2011
functionfloor functionDiophantine equationalgebra unsolvedalgebra

Problem Statement

Show that for every nNn\in\mathbb{N}, n2n2>12n2n\sqrt{2}-\lfloor n\sqrt{2}\rfloor>\frac{1}{2n \sqrt{2}} and that for every ϵ>0\epsilon >0, there exists an nNn\in\mathbb{N} such that n2n2<12n2+ϵ n\sqrt{2}-\lfloor n\sqrt{2}\rfloor < \frac{1}{2n \sqrt{2}}+\epsilon.