Problem

Source: China North Math Olympiad 2005

Tags: function, inequalities, algebra unsolved, algebra



Let $f$ be a function from R to R. Suppose we have: (1) $f(0)=0$ (2) For all $x, y \in (-\infty, -1) \cup (1, \infty)$, we have $f(\frac{1}{x})+f(\frac{1}{y})=f(\frac{x+y}{1+xy})$. (3) If $x \in (-1,0)$, then $f(x) > 0$. Prove: $\sum_{n=1}^{+\infty} f(\frac{1}{n^2+7n+11}) > f(\frac12)$ with $n \in N^+$.