Most of the best audio editors have some sort of pitch correction built-in and if not, there’s usually a handy plug-in that will allow you to shorten the distance between notes, both for pitch ...