>>882
とりあえず、片っ端から不等式とその証明(別解も全て)をコレクションし、Texでまとめるんだ!