lim (sin 1/n + cos 1/n)^n