If the frequency of a wave is doubled, what happens to the wavelength?