The original tweeter made a follow up tweet clarifying that a_n should indeed be non-increasing.

https://twitter.com/damekdavis/status/1730984627030905209?t=...