https://oeis.org/A001250