supremum of (n(n+1)(n^2+2)/2^n)^1/n