[math-fun] some exact formulas for integer sequences,