Hallar el máximo valor de $x_0$ para el que puede existir una sucesión $x_0,x_1,\ldots,x_{1996}$ de reales positivos tales que $x_0=x_{1995}$ y, para todo $i=1,\ldots,1995$, se cumpla que
\[x_{i-1}+\frac{2}{x_{i-1}}=2x_i+\frac{1}{x_i}.\]
Sea $S$ el conjunto de los números reales estrictamente mayores que $-1$. Hallar todas las funciones $f:S\to S$ que verifiquen simultáneamente las siguientes dos condiciones:
$f(x+f(y)+xf(y)=y+f(x)+yf(x)$ para todo $x,y\in S$;
$\frac{f(x)}{x}$ es una función estrictamente creciente en cada uno de los intervalos $-1\lt x\lt 0$ y $0\lt x$.