作用素 "l" が有界であるための条件、すなわち、ある定数 "m" が存在し