olymmath

ISL 1979 Problem 56

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

    Dataset text AI-MO AoPS. Quoted with source.

    Solutions

    No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.

    Add a solution

    Similar problems

    These problems have the most words in common with this statement.

    Locator isl/1979/p56 · Tag X7ZMNBWZPG · Edit this page on GitHub · Keys: j next, k previous