19/03/22 15:17:38.92 WSdp8+VY.net
>>690
＞オイラー定数γ(=lim[n→∞](1+1/2+...+1/n-ln(n)))
＞背理法とかで、「オイラー定数γは有理数」とかしてみたい気がするけど
＞小数部分 lim[n→∞]D[1+1/2+...+1/n]で、分母”qはすべての素数の積”で頓挫する
全く蛇足だが（＾＾
背理法仮定： γ ＝p'/q' とおける (p'、q'は互いに素な自然数)
としたいけど
lim[n→∞]D[1+1/2+...+1/n]で、オイラー積 Π(1/(1-1/p)) (pはすべての素数を渡る)
から、「γ ＝p'/q'」と「オイラー積 Π(1/(1-1/p)) (pはすべての素数を渡る)」とが、しっくりこない
というか、「γ ＝p'/q'とおける」を出発点にした瞬間に
「オイラー積 Π(1/(1-1/p)) (pはすべての素数を渡る)をどう考えているんだぁ～？」と突っ込まれるでしょ
で、「だから、γは無理数でないんじゃない？」と言った瞬間に
チコちゃんから「そんなんで証明になるなら、100年前に終わってるぞ～」と叱られるよね！（＾＾