>>931 >>969

k機目が向こうに渡るとき
出発側に（n-k）機の補助機？があり、到着側に（k-1）機の補助機？がある。

そのお蔭で航続距離が
　出発側で（n-k)/(n-k+2）単位、
　到着側で（k-1)/(k+1）単位
だけ伸びる。　　　　　　　　　　　　　　　　>>971

よって、最大（n-k)/(n-k+2）+ 1 +（k-1)/(k+1）まで飛行可能
これは k⇔n+1-k について対称的で、kに対して上に凸。
　D_n = min｛　〃　｜1≦k≦n ｝= 2n/(n+1),