All of the above will have no trouble getting you to 4 ghz.
If you want to be very sure then the best chances are with a Xeon. Look for the W3520 or W3530. Those are binned better by intel and generally have slightly better silicon and IMC's. Hence slightly better chance of getting to 4 Ghz.
Every Xeon i have seen has had no trouble hitting 4 ghz under 1.28V