4. \left( f \mid _{ \left\langle -\infty,\, 1 \right] } \right) ^{-1} \left(x\right) = \log_3{ \left( \frac{7 - \sqrt{49+4x}}{2} \right) }