And given that the Carnot engine's efficiency is this-- and we're going to prove that it's the most efficient engine-- this becomes the upper bound on efficiency for any engine that anybody can or will ever make. 