It takes on the order of hundreds of millions of years to lose that much atmosphere.

Or we could at least use this as an indicator that the problem is solvable over a few centuries and start nuking. Better sooner than later!