已知：点E是正方形ABCD边上的一点，将线段AE绕点E顺时针旋转90°，得到线段EA′，若AB＝2，则线段DA′的最小值为