limit as x goes to infinity of ( (x+1/2) Log[x] - x + Log[2 Pi]/2 - Log[x!] + 1/(12x) ) x^3