可測函数 ƒ: "x" → "b" がボホナー可積分であるとは、可積分な単函数列 "s""n" で