19/04/19 11:50:03.21 q+2CN55c.net
>>655
γの1つの定義は
γ:＝lim_{n→+∞}(1＋1/2＋…＋1/n－log|n|)
で、その定義を使っているから γ∈Q で問題ない。
最後の短い背理法の部分だけだと、他の条件を満たす無理数にも当てはまるようになって、間違いになるのは当たり前。
19/04/19 11:50:03.21 q+2CN55c.net
>>655
γの1つの定義は
γ:＝lim_{n→+∞}(1＋1/2＋…＋1/n－log|n|)
で、その定義を使っているから γ∈Q で問題ない。
最後の短い背理法の部分だけだと、他の条件を満たす無理数にも当てはまるようになって、間違いになるのは当たり前。