〔補題554〕
0<k<1 のとき
(1)　√{1 - (k･sinφ)^2} ≧ (cosφ)^2 + (sinφ)^2･√(1-kk),
(2)　E(k) = ∫[0,π/2] √{1 - (k･sinφ)^2} dφ ≧ (π/4){1 + √(1-kk)},
　　　　　E(k)は第二種の完全楕円積分

分かスレ４５３−554,555