Same type of Concept, except I used a bit bigger Bases to Break Down the 2's and 5's:
(2)^9 = 512
(5)^4 = 625
I felt like you could see which answer choices clearly would not work a bit easier.
Again, start with the Idea that in order to Maximize the Power = a, we need to Minimize the Power = b. Since they are + Integers, b = 1.
(500)^a < (2)^100
(2)^2a * (5)^3a < (2)^100
Starting with Answer Choice E - Can the exponent a = 13 and the Inequality Still Stand as True?
(2)^26 * (5)^39 < (2)^100 ?
(5)^39 < (2)^100 / (2)^26 ?
(5)^39 < (2)^74
Now Pulling out 4 Powers of 5 to make ONE Base = 625 ----
and Pulling out 9 Powers of 2 to make ONE Base = 512 ----
(625)^9 * (5)^3 < (512)^8 * (2)^2 ?
(625)^9 * 125 < (512)^8 * 4 ?
on the Left Side ---- you have a Larger Base, Lager Exponent, and * 125 Multiplying all of it compared to the Right Side.
Therefore, a can NOT = 13
-D- can a = 11?
again, Minimizing the Power b = +1
(500)^a < (2)^100
(500)^a < [ (2)^9 ] ^11 * 2
(500)^a < (512)^11 * 2
if a = 11, we are raising a SMALLER Base of 500 to the Same Power of 11 than we are Raising a HIGHER Base of 512 too. Therefore, we know for sure that
(500)^11 < (512)^11 * 2
Since D is the Highest Answer Choice that Works, it must be D - 11