[math-fun] Late Pi-day sequence

Hello SeqFans, I forgot to mention this idea yesterday -- which I kept secret for almost a year! There are a(n) terms in the sequence < pi*a(n) I guess this seq diverges from https://oeis.org/A260107 Best, É.