Find all functions $f$ from the real numbers to the real numbers such that $f(xy)  \le \frac12 \left(f(x) + f(y) \right)$ for all real numbers $x$ and $y$.
1. Let \( P(x, y) \) be the assertion \( f(xy) \le \frac{1}{2} \left( f(x) + f(y) \right) \) for all real numbers \( x \) and \( y \).

2. Consider \( P(x, 1) \):
   \[
   P(x, 1) \implies f(x \cdot 1) \le \frac{1}{2} \left( f(x) + f(1) \right) \implies f(x) \le \frac{1}{2} \left( f(x) + f(1) \right)
   \]
   Simplifying this inequality:
   \[
   2f(x) \le f(x) + f(1) \implies f(x) \le f(1)
   \]
   Therefore, \( f(x) \le f(1) \) for all \( x \).

3. Consider \( P(x, \frac{1}{x}) \) for \( x \neq 0 \):
   \[
   P(x, \frac{1}{x}) \implies f(x \cdot \frac{1}{x}) \le \frac{1}{2} \left( f(x) + f\left( \frac{1}{x} \right) \right) \implies f(1) \le \frac{1}{2} \left( f(x) + f\left( \frac{1}{x} \right) \right)
   \]
   Multiplying both sides by 2:
   \[
   2f(1) \le f(x) + f\left( \frac{1}{x} \right)
   \]
   Since we already have \( f(x) \le f(1) \) and \( f\left( \frac{1}{x} \right) \le f(1) \), it follows that:
   \[
   f(x) + f\left( \frac{1}{x} \right) \le 2f(1)
   \]
   Combining these inequalities:
   \[
   2f(1) \le f(x) + f\left( \frac{1}{x} \right) \le 2f(1)
   \]
   Therefore, we must have equality:
   \[
   f(x) + f\left( \frac{1}{x} \right) = 2f(1)
   \]
   Since \( f(x) \le f(1) \) and \( f\left( \frac{1}{x} \right) \le f(1) \), the only way this equality holds is if \( f(x) = f(1) \) and \( f\left( \frac{1}{x} \right) = f(1) \) for all \( x \neq 0 \).

4. Therefore, \( f(x) = f(1) \) for all \( x \neq 0 \).

5. Consider \( P(x, 0) \):
   \[
   P(x, 0) \implies f(x \cdot 0) \le \frac{1}{2} \left( f(x) + f(0) \right) \implies f(0) \le \frac{1}{2} \left( f(x) + f(0) \right)
   \]
   Simplifying this inequality:
   \[
   2f(0) \le f(x) + f(0) \implies f(0) \le f(x)
   \]
   Since \( f(x) \le f(1) \) for all \( x \), we have:
   \[
   f(0) \le f(x) \le f(1)
   \]
   Therefore, \( f(0) \le f(1) \).

6. Combining all the results, we have:
   \[
   f(x) = c \quad \forall x \neq 0 \quad \text{and} \quad f(0) = a \le c
   \]
   where \( c = f(1) \).

The final answer is \( \boxed{ f(x) = c \quad \forall x \neq 0 \quad \text{and} \quad f(0) = a \le c } \).