\lim_{n \rightarrow \infty} ((pi/2-\arctan(n^2))*\ln(n!))