[math-fun] David Robbins