What is the density of an ideal gas proportional to?