Это очевидно, если знать, что arctg(x) при x -> 00 стремится к pi/2 и sqrt(n^2-n)<n для n>1.