如图，O是平面直角坐标系原点，AB∥OC，AO⊥OC，AB=1，OC=4，P为线段AO上一个动点，连结PB并延长至点E，使得点E落在直线x=2上，以PE，PC为邻边作平行四边形PEFC，则对角线PF的最小值为.