Proximity effect at the superconductor–topological insulator interface