ちなみに、不等式を説明する、第二のIUTeichアニメーションだけど、
http://www.kurims.kyoto-u.ac.jp/~motizuki/2020-01%20Computation%20of%20q-pilot%20(animation).mp4

>>484の「望月の2008年5月の講演資料」の最終稿（頁16)の不等式の説明で使われた図だよね。