挟み撃ちの原理の証明をしてみました。まあ、他人の完璧な証明より自分のどんくさい証明のほうが愛着があるということで、さらしておきます。
一応、発想の順番の解説。
まあ式だけ見たら当たり前のことだけど、どう証明しよう。→もし極限が一致しなければどうなるのかな?→ああ、c_nがa_nとb_nの間からはみ出るやん。これなら背理法でいけるわ。→と、思ってみたけど感覚で書くんは簡単だけど全然説得力ないしなあ、ε-N論法は避けられんか。→図を書いて見たらεの値も決まったよ。→ああ…流れとしては完成したけどどうも説得力にかける…→ottfoekstのアドバイスもあり完成
