円周率について語り合おう【π】

[0001 １３２人目の素数さん 2012/01/15(日) 12:53:56.58]

lim_[n→∞]n*cos(90-180/n)=π