単調数列

単調数列のノートを更新（内容の加筆・修正。特に、論理記号による表現。）