已知▱ABCD中,AD=2AB,F是BC的中点,作AE⊥CD,垂足E在线段CD上,连结EF、AF,下列结论:①2∠BAF=∠BAD;②EF=AF;③S△ABF≤S△AEF;④∠BFE=3∠CEF.中一定成立的是( )