On the Convergence of Leveraging