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

如在智能ABC中输入“xian”，按回车键将显示（）。