14/02/01 14:45:24.47 frFnwVPg
無限の有限証明
lim↓x→∞ x
MAX_N=任意
n=MAX_N
c=MAX_N/x
lim↓x→∞ c=0
c=無限のとき
a=0.0
それ以外
a = MAX_N * Math.Pow(1.0 / n, c)
lim↓c→0 a=MAX_N
d = x = MAX_N / (Math.Log(a / MAX_N) / Math.Log(1.0 / n))
b = Math.Cos((Math.PI * d) * (2.0 / MAX_N))
0<x<∞
0<a<MAX_N
無限を有限で表現できた
証明終了