不等式への招待 第10章

[0598 １３２人目の素数さん 2021/02/23(火) 16:29:58.81 ID:mfVhACbJ]

Π[p≧11] cos(2π/p) > Π[p≧11] cos(2π/(p-1))
　> Π[n=5,∞] cos(π/n)
　= (2√2)Π[n=3,∞] cos(π/n)
　= (2√2)・0.114942　　　　　　　　(*)
　= 0.3251052

*) 数セミ増刊「数学の問題」第２集, 日本評論社 (1978)
　●117　によれば
　Π[n=3,∞] cos(π/n) = 0.114942044853296…