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

Abstract

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

References in corpus (1)

• Substitution invariant Sturmian words and binary trees