lim( ( 1 + sin^2(sqrt(2)/(sqrt(n+1)) ))^n) n->inf