A remarkable sequence related to $\pi$ and $\sqrt{2}$

Wieb Bosma, Michel Dekking, Wolfgang Steiner

We prove that five ways to define entry A086377 in the On-Line Encyclopedia of Integer Sequences do lead to the same integer sequence.