x log2(x) + (1 − x) log2(1 − x) ≥ −1
<=> \( x^x \cdot (1-x)^{1-x} \ge \frac{1}{2} \)
Und die auf (0, 1) definierte Funktion f mit \( f(x)= x^x \cdot (1-x)^{1-x} \)
hat den absoluten Tiefpunkt \( T=( \frac{1}{2} ; \frac{1}{2} ) \).
Letzteres lässt sich mittels Ableitungen zeigen.