"α"、"β" および "u" を、区間 "i" 上定義される実数値関数とする。