Guinness Draught: The Mathematician Who Brought Nitrogen to Beer