[math-fun] Richard Guy, 1916-2020