x->∞のときのsin(x)の下極限