08信州大（後期）より

nを1より大きい整数とする。次の不等式を示せ。

log(n) * log(nπ^2/4) > Σ[k=1,n-1] (4/(kπ))√[log(kπ/2) * log{(k+1)π/2}]