arXiv++ Combinatorics

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.