Question Cooling an i5 2500k

No to the low profile one for sure. The Hyper 212 might also be a bit of a streatch:

https://www.techpowerup.com/reviews/Deepcool/Maelstrom_120/6.html

Thats not quite 4.5GHz but its close and a newer CPU that does run warmer. The CM 212 is also on there and when OCed it lets the CPU get quite a bit warmer.

When I had a 2500K @4.5GHz I used the Zalman CNPS 9900b Max that kept it very happy but it also probably costs more.

The Deepcool seems to be the best of the 4 listed.