[math-fun] A063539 on OEIS