如图，正方形ABCD的边长是4，F点是BC边的中点，点H是CD边上的一个动点，以CH为直径作 ，连接HF交 于E点，连接DE，则线段DE的最小值为.