Inverse proximity effect in a topological-insulator–superconductor hybrid system