jurupapa https://blog.hatena.ne.jp/jurupapa/ Maxima で綴る数学の旅 https://maxima.hatenablog.jp/ 数学 今回は関数の極限の証明を見ていきます。 $$\lim_{x\to 2} 2\,x = 4\hspace{20cm}$$ example : Tendsto (fun x:ℝ => 2*x) (𝓝 2) (𝓝 4) := by have cont_two_mul : Continuous (fun x : ℝ => 2 * x) := by exact continuous_const.mul continuous_id refine Continuous.tendsto' cont_two_mul 2 4 ?h -- ⊢ 2 * 2 = 4 linarith 証明するべきことは引数を２倍にする… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmaxima.hatenablog.jp%2Fentry%2F2025%2F03%2F12%2F001000" title="-数学- Lean4のお勉強　簡単な関数の極限の証明 - Maxima で綴る数学の旅" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://cdn-ak.f.st-hatena.com/images/fotolife/j/jurupapa/20250227/20250227194847.jpg Hatena Blog https://hatena.blog 2025-03-12 00:10:00 rich https://maxima.hatenablog.jp/entry/2025/03/12/001000 1.0 100%