The lace expansion has been a powerful tool for investigating mean-field behavior for various stochastic-geometrical models, such as self-avoiding walk and percolation, above their respective upper-critical dimension. In this paper, we prove the lace expansion for the Ising model that is valid for any spin-spin coupling. For the ferromagnetic case, we also prove that the expansion coefficients ...