Numerical verification theory is presented for proving the existence of periodic solutions to nonlinear delay-differential equations. The key is how to include the minimal singular value of associated linearized delay-differential operators. The delay Duffing equation, the delay van Der Pol equation and so on are treated as examples.