Asymptotic bound for heat-bath algorithmic cooling.

Asymptotic bound for heat-bath algorithmic cooling.