Para cualquier número real $x$, vamos a $[x]$ ser el mayor entero que no excede $x$. También definimos $\{x\}=x-[x]$. Ahora podemos definir la función:
$f(x)=\{x\}+\{\frac{1}{x}\}$.
(a) Probar que $f(x)<1.5$$x>0$, e $f(x)<2$$x<0$.
(b) Probar que existe un número real $\alpha $ tal que $f(\alpha)>\frac{ 4001}{2001}$.
Ir a través de los casos estoy convencido de (una). Pero, ¿cómo se prueban de manera concluyente?
(b) presentan más retos, pero no nos muestran la existencia sin encontrar {un} valor{s}? O necesitamos encontrar el valor de $\alpha$?