直接やり方を書いたらできるのかどうかをやってみます。『手を動かしてまなぶ ε-δ論法』に従って以下のように入力してみます。 連続の公理(上に有界な単調増加数列は収束する)から、任意の実数 と任意の実数 に対して、 を満たす自然数 が存在することを証明…

引き続きChatGPTを使ってみます。なかなかできませんけどこのブログに書いたことが意味を持つためにはできない方が良いので、気楽にやってみることができます。具体的に書いてみたらどうなるのかやってみます。以下のように入力しました。 半群の等式を構文…