lim abs(sin x), x->pi