Несколько шагов, которые я не расписываю:
1) нацепление двоичного логарифма на все 3 куска неравенства
2) преобразование логарифма произведения в сумму логарифмов в левой и правой части, с последующим вычитанием логарифма от 5^к из всех 3 частей
3) подведение всех 3 частей к степени двойки
получаем такое неравенство:
а < 2^(s-k*log_2(5)) < a+1
Теперь сильное утверждение: любое число можно приблизить сколь угодно сильно, используя лишь s-k*log_2(5), увеличивая s и k до нужного порядка.
Тогда мы всегда можем найти такие k и s, что б двойка в оной степени подходила под наше неравенство, ибо мы можем приблизить любую действительную степень, значит и любое число после возведения двойки в эту степень.
(5347 + 2136) - 4026 + х×47 = 7483 - 4026 + 47х = 3457 + 47 ×0 = 3457 + 0 = 3457
7804 - (5265-3139) + х : 25 = 7804 - 2126 + х : 25 = 5678 + 0 : 25 = 5678