10^(log_2 x) / (2x^2 (x + 1)) ≤ (15 * 3^(log_2 x))^(log_2 x) / (9x^2 (x + 1))
А как мы получили неравенство, где сразу умножение? (3 строчка)
Перенесли все влево, вынесли общий множитель за скобки.