https://123dok.org/document/9ynx440q-sphere-packing-bound-for-quantum-channels.html