Quantum achievability proof via collision relative entropy