MathDB
Iteration of x^2-2

Source: KoMaL A861

November 11, 2023
algebrakomal

Problem Statement

Let f(x)=x22f(x)=x^2-2 and let f(n)(x)f^{(n)}(x) denote the nn-th iteration of ff. Let H={x:f(100)(x)1}H=\{x:f^{(100)}(x)\leq -1\}. Find the length of HH (the sum of the lengths of the intervals of HH).