Problem Statement

Smallest m Where Trailing Load Product Overtakes Weighted Prefix In a digital simulation, for every natural number k, the processing load unit is defined as p_k = 2^k. Find the smallest natural number m such that (p_1)^1 x (p_2)^2 x ... x (p_18)^18 < p_19 x p_20 x ... x p_(18+m)