〔補題559〕
0<k<1 のとき
(1')　　2√(1-kk/2) ≧ √{1 - (k･sinφ)^2} + √{1 - (k･cosφ)^2} ≧ 1 + √(1-kk),
(2')　　(π/2)√(1-kk/2) ≧ Ｅ(k) ≧ (π/4){1 + √(1-kk)},