derivative ceil(x)