Equivalence of OEIS A007729 and A174868


Abstract in English

We verify the conjecture that the sixth binary partition function is equal (aside from the initial zero term) to the partial sums of the Stern-Brocot sequence.

Download