[math-fun] A016142