Quantum union bound

A remark on the recent O'Donnell-Ventakeswaran proof and Sen proof.