π関数
厳密にはπ(x)=-1+Σ[k=1,x]⌊cos^2(((k-1)!+1)π/k)⌋