cp's OEIS Frontend

Sum of all coefficients in Product_{k=0..n} (x + k^2).

Row sums of triangle of central factorial numbers (A008955).

"HANOWA" is a matrix whose eigenvalues lie on a vertical line. It is an N X N matrix with 2 X 2 blocks with identity matrices in the upper left and lower right blocks and diagonal matrices containing the first N integers in the upper right and lower left blocks. In MATLAB, the following code generates the sequence... for n=0:2:TERMS*2 det(gallery('hanowa',n)) end. - Paul Max Payton, Mar 31 2005

Cilleruelo shows that a(n) is a square only for n = 0 and 3. - Charles R Greathouse IV, Aug 27 2008

a(n) = A231530(n)^2 + A231531(n)^2. - Stanislav Sykora, Nov 10 2013

Extension of factorial(n) to factim(n,m) defined by the recurrence a(0)=1, a(n)=a(n-1)*(n+m*i). Hence n! = factim(n,0), while the current sequence shows the imaginary parts of factim(n,1). The real parts are in A231530 and squares of magnitudes are in A101686.

From Peter Bala, Jun 01 2023: (Start)

Compare with A105751(n) = the imaginary part of Product_{k = 0..n} (1 + k*sqrt(-1)). Moll (2012) studied the prime divisors of the terms of A105750 - the real part of Product_{k = 0..n} (1 + k*sqrt(-1)) - and divided the primes into three types. Calculation suggests that a similar division holds in this case.

Type 1: the prime p does not divide any element of the sequence. It appears that for this sequence, unlike in A105750, there are no type 1 primes; i.e., every prime p divides some term of the sequence.

Type 2: primes p such that the p-adic valuation v_p(a(n)) has asymptotically linear behavior. An example is given below.

We conjecture that the set of type 2 primes consists of p = 2 and all primes of the form p == 1 (mod 4). See A002144.

Moll's conjecture 5.5 about type 2 primes extends to this sequence and takes the form:

(i) the 2-adic valuation v_2(a(n)) ~ n/4 as n -> oo.

(ii) for a type 2 prime p, the p-adic valuation v_p(a(n)) ~ n/(p - 1) as n -> oo.

Type 3: primes p such that the sequence of p-adic valuations {v_p(a(n)) : n >= 0} exhibits an oscillatory behavior (this phrase is not precisely defined). An example is given below.

We conjecture that the set of type 3 primes is A002145, primes of the form 4*k + 3. (End)

Consider an extension of exp(x) to an intriguing function, expim(x,y), defined by the power series Sum_{n=0..inf}(x^n/c_n), where c_0 = 1, c_n = c_(n-1)*(n+y*I), so that exp(x) = expim(x,0). The current sequence regards the real part of expim(1,1). The decimal expansion of the imaginary part is in A231533 and that of the absolute value in A231534.

Consider an extension of exp(x) to an intriguing function, expim(x,y), defined by the power series Sum_{n=0..inf}(x^n/c_n), where c_0 = 1, c_n = c_(n-1)*(n+y*I), so that exp(x) = expim(x,0). The current sequence regards the negative imaginary part of the complex expim(1,1). The decimal expansion of the real part is in A231532 and that of the absolute value in A231534.

Consider an extension of exp(x) to an intriguing function, expim(x,y), defined by the power series Sum_{n=0..inf}(x^n/c_n), where c_0 = 1, c_n = c_(n-1)*(n+y*I), so that exp(x) = expim(x,0). The current sequence regards the absolute value of expim(1,1). The decimal expansions of the real and imaginary parts of expim(1,1) are in A231532 and A231533, respectively.

Equivalently, integers k such that (1+i)*(2+i)*...*(k+i) is not in the same quadrant of the complex plane that (1+i)*(2+i)*...*(k-1+i) is in (if one of these numbers lies on the real or imaginary axis, it is taken to be in the quadrant immediately clockwise from it).

The only time that (1+i)*(2+i)*...*(k+i) lies on the real or imaginary axis is when k = 3, which follows from a result of Cilleruelo (see links). - Nathaniel Johnston, Dec 27 2013

The ratio between successive terms quickly approaches exp(Pi/2), which can be proved using the Taylor series of the arctangent function and the (basic) definition of Euler's constant.