Compare which of the following is bigger: $\displaystyle 1016^{11}\cdot 3016^{31}$ versus $\displaystyle 2016^{42}$

Compare which of the following is bigger:

$\displaystyle 1016^{11}\cdot 3016^{31}$ versus $\displaystyle 2016^{42}$

My solution:

I know there are multiple approaches by which we can use to tackle the problem at hand. But if it were up to me, I would first look for the prime factorization for each number involved in the problem, and I found:

$\displaystyle 1016=2^3\cdot 127$

$\displaystyle 2016=2^5\cdot 3^2\cdot 7$

$\displaystyle 3016=2^3\cdot 13\cdot 29$

With the help of Wolfram Alpha, I've found

$\displaystyle 1016^{11}\cdot 3016^{31}\gt 2016^{42}$

The effort remains now to first assume $\displaystyle 1016^{11}\cdot 3016^{31}\gt 2016^{42}$ is true and proved it so.

That is,

$\displaystyle (2^3\cdot 127)^{11}\cdot (2^3\cdot 13\cdot 29)^{31}\gt (2^5\cdot 3^2\cdot 7)^{42}$

Simplify the above we get:

$\displaystyle 2^{33}\cdot 127^{11}\cdot 2^{93}\cdot 13^{31}\cdot 29^{31}\gt 2^{210}\cdot 3^{84}\cdot 7^{42}$

$\displaystyle 127^{11}\cdot 13^{31}\cdot 29^{31}\gt 2^{210-33-93}\cdot 3^{84}\cdot 7^{42}$

$\displaystyle 127^{11}\cdot 13^{31}\cdot 29^{31}\gt 2^{84}\cdot 3^{84}\cdot 7^{42}$

$\displaystyle \color{yellow}\bbox[5px,purple]{127^{11}\cdot 377^{31}\gt 6^{84}\cdot 7^{42}}$*

Here comes the difficult part of the process, we have to use the calculator to do a series of checking to see if we can get a simple relation between $377$ and $7^a$ for some positive integer $a$ such that $377\gt 7^a$.

Observe that:

$7^2=49,\,7^3=343\implies 373\gt 7^3$

Therefore $373^{14}\gt (7^3)^{14}$ which is $373^{14}\gt 7^{42}$

We have made some good progress, as we have kicked out the $7^{42}$ in the RHS of the equation * and also reduced the power of $377$ from $31$ down to $31-14=17$.

At this point, if we can prove

$\displaystyle \color{yellow}\bbox[5px,green]{127^{11}\cdot 377^{17}\gt 6^{84}}$

Then we can conclude $\displaystyle 1016^{11}\cdot 3016^{31}\gt 2016^{42}$ is correct.

Again, we have to find a relation between $127\cdot 377$ and $6^b$ for some positive integer $b$ such that $127\cdot 377\gt 6^b$.

Observe that

$127\cdot 377=47879\gt 6^6=46656$

Taking 14th power on both sides of the inequality we get:

$(127\cdot 377)^{14}\gt (6^6)^{14}$

$\displaystyle \color{black}\bbox[5px,orange]{127^{14}\cdot 377^{14}\gt 6^{84}}$

It's obvious that

$\displaystyle \color{yellow}\bbox[5px,blue]{127^{11}\cdot 377^{17}\gt 127^{14}\cdot 377^{14} }$ is true, therefore, we've proved that

$\displaystyle 1016^{11}\cdot 3016^{31}$ is bigger than $\displaystyle 2016^{42}$.