Convergence of Multipower Defect Correction for Spectral Computations of Integral Operators