[math-fun] infinity minus one