他真的没注意到这里在f＝3的情况下不成立！那这个证明岂不是错了？可他之前为什么会觉得这里是成立的！好像就是从前面的分情况讨论出现问题的！