すみません。

f(x)=[sin_x]のとき、

lim_[x→π+0]f(x)=-1
で合ってるでしょうか?