(4.2 billion cubic kilometers) * (1 atm) * (400/1e6)*Ln[(3000 gigatonne / (density of liquid carbon dioxide))/(4.2 billion cubic kilometers)]