Indeed, the nice thing is power use grows quickly with clock, so even something like 5GHz vs 5.5GHz can allow a chip to run a fair bit cooler, and since there's

Indeed, the nice thing is power use grows quickly with clock, so even something like 5GHz vs 5.5GHz can allow a chip to run a fair bit cooler, and since there's various bottlenecks like memory latency that the performance difference will be less than 10%.