[math-fun] Four consecutive abundant numbers