若Fs为采样频率，fimas为信号的最高频率分量，则采样定理应为（）。