左随伴の感じがどうもよくわからん。
ベンジャミン本の中にceiling functionの例があるが、それがどうした、
という感じしかしないのだ。