The proof that n^k*log(n^k)/n^{k+1} approaches 0 establishes a limit condition, but the theorem yiel...