>>682
lim_[n→∞]Σ_[k=1, n]√(4*n^2-k^2)/n^2
=lim_[n→∞]1/n*Σ_[k=1, n]√(4-(k/n)^2)
=∫[0,1]√(4-x^2) dx