The frequency of a sound in air is doubled. The speed stays the same. What happens to the wavelength?