いつものように11時に息子を連れて大学まで行って妻と交替。いつものようにメールチェックなどをしておりましたが、どうもこの日から本格的に教室は夏休みに入ったようで、事務系の人は全くいませんでした。ということで、郵便物などは全くチェックすることができませんでした。ひょっとすると、このまま7月中は私宛の郵便物は受け取れないかもしれません。
この日は、予想を証明すべく、まず3点穴あき球面の双曲密度を完全楕円積分を使って直接表示するSolynin-Vuorinenの公式を用いて考えていました。最終的にはこの公式と、完全楕円積分の満たす微分方程式を用いて必要な評価を出すことができ、証明が完成しました。
なお、この日先週受け取り損なったFedExの荷物を再配達してもらい、受け取ることができました。