若f(4)≥25成立,则当k≥4时,均有f(k)≥k2成立
若f(4)≥16成立,则对于任意的k≥4,均有f(k)<k2成立;
若f(7)≥49成立,则对于任意的k<7,均有f(k)<k2成立;
若f(4)=25成立,则对于任意的k≥4,均有f(k)≥k2成立