How High Does Sonic Jump?