have an invariant measure absolutely continuous with respect to Lebesgue measure. …
Collet and Eckmann [3] proved the existence of such a measure for S-unimodal mappings
which (apart from some weak regularity assumptions) satisfy the two following conditions: …
By symmetry we have |cn-(b')n|<|c-fe'| and (c, b') satisfies *(n). Since bn = (b')n = c we have
either/"(c, b)<= (c, b) or/"(c, fe')c(c, ft')Hence / has a sink which contradicts lemma 2. …