[nullc]

Came here to say this-- I've solved a lot of otherwise seemingly quite hard problems by numerically/brute-force finding the first few terms then asking OEIS then convincing myself it it's indeed the solution.