難しめの微積分の本とか多様体の本の最初のところあたりには
縮小写像だから不動点があるって話なのに
不等式評価だけ書いてるから意味がわかりにくいことがあるね