Sea $f$ una función de R a R. Suponga que tenemos: (1) $f(0)=0$ (2) Para todo $x, y \in (-\infty, -1) \cup (1, \infty)$, tenemos $f(\frac{1}{x})+f(\frac{1}{y})=f(\frac{x+y}{1+xy})$. (3) Si $x \in (-1,0)$, entonces $f(x) > 0$. Demuestre: $\sum_{n=1}^{+\infty} f(\frac{1}{n^2+7n+11}) > f(\frac12)$ con $n \in N^+$.