172673 难度：3 简短答案： 3

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