Para cualquier número real $t$, denotamos por $[t]$ el mayor entero que es menor o igual que $t$. Por ejemplo: $[8] = 8$, $[\pi] = 3$ y $[-5/2] = -3$. Demuestra que la ecuación \[[x] + [2x] + [4x] + [8x] + [16x] + [32x] = 12345\] no tiene solución real.