如图，正方体ABCD—A₁B₁C₁D₁中，AB=2，点E为AD的中点，点F
在CD上，若EF//平面AB₁C，则线段EF的长度等于______________。