Licson Lee
says to
YSITD
koru 不等式 int from 0 to x koru(t) dt > int from 0 to (x + pi) koru(t) dt