yes, 4ghz should be easy enough with a good cooler.
lol@ your comment though. 'has anyone overclocked one?'
4.2 is about the max ive seen people get on air. but those are the best chips.
have you overclocked before? if you know what you are doing, i can't see 4ghz being an issue unless you get a pretty weak chip.