The Binary Tree Mechanism is Optimal for Approximate Differentially Private Continual Counting