For a real number x in the interval (0,1) with decimal representation
0.a1(x)a2(x)...an(x)...,
denote by n(x) the smallest nonnegative integer such that
\overline{a_{n(x)\plus{}1}a_{n(x)\plus{}2}a_{n(x)\plus{}3}a_{n(x)\plus{}4}}\equal{}1966 .
Determine ∫01n(x)dx. (abcd denotes the decimal number with digits a,b,c,d.)
A. Renyi integrationprobability and stats