How does the power spectrum of the amplitude envelope depend on its underlying carrier frequency?
Your intution is right, the carrier frequency has to be at least twice the highest frequency in your signal. Practically, much higher carrier frequencies are chosen, as you would need ideal or nearly ideal lowpass filters for carrier frequencies this low.