ちょっと進んだ

矛盾の出し方はわかりました。
他の人の論文で詳しく書いてある部分を発見し、そちらは納得できました。
わからない方の論文を挙げて、１つの補題にしているくらいなので、
やっぱりわかりにくい部分なんだろう。補ってくれて本当にありがとうございます。

で、ちょっと進んで二ヶ所目ですが、ある不等式を満たすための定数Cが、
ある量には無関係に定まるかどうかがわからなくて再び止まっています。
いやむしろ依存するだろ、としか思えない証明方法なんだよなぁ。

とりあえず止まった後、非常勤講師継続の書類を書いて過ごしました。
1年間の授業で工夫したこととかを書くのですが、
何年もやっているともう書くことがなくなってきますね。
むしろいつも通り頑張ってやってます、みたいな感覚になっています。

22円

自宅最寄駅から非常勤勤務先までの電車賃は1490円です。
この分はもちろん、交通費として支給していただいています。
で、その経路において、ちょっと大きい駅で寄り道をした場合、
初乗り分が加算されてしまうので、足が出るからこれまであまりしてこなかったのですが、
実は22円高くなるだけのようです。これなら全然躊躇いなくできますね。
少しおいしいものを食べたい時もある、ということです。
でもまぁ全区間での回数券を買ってしまうから半期のうち途中下車できるのは6回まで。
十分か。もう1箇所、もっと大きい駅で降りた場合は185円多くかかるようです。