You've got a product on one side and what looks like a convex combination on the other, taking the log and applying Jensen's inequality isn't as big a leap as it may sound.
Agreed, provided you have both sides of the inequality. Coming up with that particular convex combination is a bit of a leap that’s not super intuitive to me.
if you work with a lot of convex optimization, it comes up pretty often. for example, if you learn fenchel conjugates, the lead up and motivation to learning them will often necessitate proving young's inequality with jensen's inequality. that is why learning different maths is cool. you intuit some ways to reshape the problem in order to make these "not super intuitive" connections.
It often happens that coming up with the right theorem is a lot harder than finding its proof, but that's life. You can't have everything be easy, otherwise we'd have finished by now.
