$\begingroup$

Let $\alpha > 0$ be a real number and let us consider the set $S(\alpha)$ of those natural numbers $n$ such that the fractional part of $\alpha \cdot n$ "begins" with the representation of $n$ (in base $10$). Formally, $$ S(\alpha) = \{k\in \mathbb{N}:k=\lfloor \operatorname{frac}(\alpha k)\cdot 10^{1+\lfloor\log_{10} k \rfloor}\rfloor\} $$ where $\operatorname{frac}(x) = x-\lfloor x\rfloor$, for $x>0$, denotes the fractional part of $x$.

For example, $57211\in S(\sqrt{2})$, since $57211\sqrt{2} = 80908.\underline{57211}692\cdots$.

If $\alpha$ is an irrational number, we know that $\operatorname{frac}(\alpha\cdot k)$ is uniformly distributed in $(0,1)$, so, using a rough heuristic argument based on the fact that $\sum\frac{1}{k}$ diverges, we may expect $S(\alpha)$ to have sparse but infinite elements.

A few computations relative to well-known irrational constants support this intuition. For example, we have $$ S(\pi) = \{ 1,2,38,76,946,24996,3595182,61864425177,\dots\}\,, $$ and $$ S(\sqrt{2})=\{ 772,9792,57211,535090,6101272,65645433,9169209625,16835518309,\dots\}\,, $$ but what really baffles me is $$ S(e)=\{ 5,191,\\ 1100,1210,1320,1430,1540,1650,1760,1870,1980,2090,2200,2310,2420,2530,2640, 2750,\\ 2860,2970,3080,3190,3300,3410,3520,3630,3740,3850,3960,4070,4180,4290,4400,4510,\\ 4620,4730,4840,4950,5060,5170,5280,5390,5500,5610,5720,5830,5940,6050,6160,6270,\\ 6380, 6490,6600,6710,6820,6930,7040,7150,7260,7370,7480,7590,7700,7810,7920,8030,\\ 8140,8250, 8360,8470,8580,8690,8800,8910,9020,9130,9240,9350,9460,9570,9680,\\ 1865037,5422244075, \dots\}\,. $$ As you can see there are $79$ terms between $10^3$ and $10^4$, all divisible by 10.

My question is: is the behavior of $S(e)$ just a coincidence or the nature of $e$ has something to do with it?