MathNet 1981 — Phần 01 Câu hỏi 7

Đối với bất kỳ số thực nào $t$, ký hiệu là $[t]$ số nguyên lớn nhất nhỏ hơn hoặc bằng $t$. Ví dụ: $[8]=8$, $[\pi]=3$ và $[-5 / 2]=-3$. Chứng minh rằng phương trình $$
[x]+[2x]+[4x]+[8x]+[16x]+[32x]=12345
$$ không có nghiệm thực.