分からない問題はここに書いてね453

[0559 １３２人目の素数さん 2019/06/16(日) 20:38:56.09 ID:HwIhVDIU]

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