Sean $ a_i, b_i$ números reales positivos, $ i=1,2,\ldots,n$ , $ n\geq 2$ , tales que $ a_i<b_i$ , para todo $ i$ , y también \[ b_1+b_2+\cdots + b_n < 1 + a_1+\cdots + a_n.\] Demuestra que existe un $ c\in\mathbb R$ tal que para todo $ i=1,2,\ldots,n$ , y $ k\in\mathbb Z$ tenemos \[ (a_i+c+k)(b_i+c+k) > 0.\]