Encuentra el número real más grande $c$ , tal que para cualquier entero $s>1$ , y enteros positivos $m, n$ coprimos con $s$ , tenemos $$ \sum_{j=1}^{s-1} \{ \frac{jm}{s} \}(1 - \{ \frac{jm}{s} \})\{ \frac{jn}{s} \}(1 - \{ \frac{jn}{s} \}) \ge cs$$ donde $\{ x \} = x - \lfloor x \rfloor $ .