An inductor is connected to a source of sinusoidally varying voltage with constant amplitude and a frequency of 50.0 Hz. The resulting rms current in the inductor is 2.5 A. If the frequency of the source is then doubled, what will be the new rms current?