2020-07-29 ? 雑記 なんか急に Fejer-Jackson Inequality の(超マイナーな主張だけが書いてある)記事にアクセスがあって怖いなと思った. 見てみたら,移行関連だと思うけどなんかバグってたので直しておいた.