24. Todo \(x\), \(0 \leq x \leq 1\), admite una representación única \(x = \sum_{j=0}^{\infty} a_j 2^{-j}\), donde todos los \(a_j\) pertenecen a \(\{0, 1\}\) e infinitamente muchos de ellos son \(0\). Si \(b(0) = \frac{1+c}{2+c}, b(1) =\frac{1}{2+c}, c > 0\), y \[f(x)=a_0 + \sum_{j=0}^{\infty}b(a_0) \cdots b(a_j) a_{j+1}\] demuestra que \(0 < f(x) - x < c\) para todo \(x\), \(0 < x < 1\). Amir