olymmath

CGMO 2018 Problem 1

    Let a≤1a\le 1 be a real number. Sequence {xn}\{x_n\} satisfies x0=0,xn+1=1−a⋅exnx_0=0, x_{n+1}= 1-a\cdot e^{x_n} , for all n≥1n\ge 1 , where ee is the natural logarithm. Prove that for any natural nn , xn≥0x_n\ge 0 .

    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 cn-gmo/2018/p1 · Tag NWGR2FB7SX · Edit this page on GitHub · Keys: j next, k previous