Let \( f: [2, 4] \to \mathbb{R} \) be a differentiable function such that \( (x \log x) f'(x) + (\log x) f(x) \geq 1 \), \( x \in [2, 4] \) with \( f(2) = \frac{1}{2} \) and \( f(4) = \frac{1}{4} \). Consider the following two statements:
\( (A) \quad f(x) \geq 1 \quad \text{for all} \quad x \in [2, 4] \)
\( (B) \quad f(x) \leq \frac{1}{8} \quad \text{for all} \quad x \in [2, 4] \)
Then,