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