A Lower Bound on the Redundancy of Arithmetic-Type Delay Constrained Coding