What happens to the wavelength of a wave if its frequency doubles?