An Interval Eventually Bounding Trajectories of the Logistic Map

This Demonstration illustrates the iteration of the logistic map for .
All the points of the interval are mapped into . Also, the interval is mapped into itself. If an iteration belongs to it can be proved that after a finite number of steps the trajectory is contained in . Therefore every trajectory whose starting point belongs to (0, 1) is eventually contained in