integral sin(t)/(3t) dt