lim (1+1/arctan(n))^(arctan(n)), n to infty