若正方形ABCD的边长为1,在旋转过程中,,求AF长的最大值