[math-fun] Probability that all molecules of a gas are in one half of the container