長方形ABCDの頂点Aを通る直線を引き、辺CDと点Eで、辺BCの延長と点Fで
交わるようにするとき、AE + AF > Pe/√2 を示せ。
ただし ∠DAE<45°, Pe は長方形の一周の長さ(Perimeter) とする。