>>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年前に終わってるぞ〜」と叱られるよね！（＾＾