飯島良子

153 ：金森弘：2022/05/13(金) 18:40:51.85

lim[y→∞](360°/(45°/2^y)*(√(2-2*√((cos(90°/2^y)+1)/2))))/2=π