如图，正方形ABCD的边长为4，E、F分别是BC、CD上的两个动点，且AE⊥EF，则AF的最小值是       。