(x!ln((x+1)(x)))/2 and derivative of x!