YSITD_TG_Bot says to #ysitd <licson>: koru 不等式 int from 0 to x koru(t) dt > int from 0 to (x + pi) koru(t) dt