如图，菱形ABCD的对角线AC，BD相交于点O，P为AB边上一动点（不与点A，B重合），PE⊥OA于点E，PF⊥OB于点F， 若AB=4，∠BAD=60°，则EF的最小值为．