Skip to main content
edited body
Source Link
Nate Eldredge
  • 29.8k
  • 4
  • 101
  • 150

Define $t_n$ by $t_n = 2^k$ for $2^{k-1} < n \le 2^k$, so that it begins $$1, 2, 4,4, 8,8,8,8, 16,16,16,16,16,16,16,16,32, \dots$$ Then we have $n \le t_n \le 2n$ for all $n$ so your hypothesis is satisfied with $c_1 = 1$$c_1 = 2$, $c_2 = 2$$c_2 = 1$. But there are only about $\log_2 N$ distinct values among $t_1, \dots, t_N$, so $m(\cup^{N}_{n=1}[t_{n}-1,t_{n}+1]) \approx 2 \log_2 N$ and the desired liminf equals zero.

Define $t_n$ by $t_n = 2^k$ for $2^{k-1} < n \le 2^k$, so that it begins $$1, 2, 4,4, 8,8,8,8, 16,16,16,16,16,16,16,16,32, \dots$$ Then we have $n \le t_n \le 2n$ for all $n$ so your hypothesis is satisfied with $c_1 = 1$, $c_2 = 2$. But there are only about $\log_2 N$ distinct values among $t_1, \dots, t_N$, so $m(\cup^{N}_{n=1}[t_{n}-1,t_{n}+1]) \approx 2 \log_2 N$ and the desired liminf equals zero.

Define $t_n$ by $t_n = 2^k$ for $2^{k-1} < n \le 2^k$, so that it begins $$1, 2, 4,4, 8,8,8,8, 16,16,16,16,16,16,16,16,32, \dots$$ Then we have $n \le t_n \le 2n$ for all $n$ so your hypothesis is satisfied with $c_1 = 2$, $c_2 = 1$. But there are only about $\log_2 N$ distinct values among $t_1, \dots, t_N$, so $m(\cup^{N}_{n=1}[t_{n}-1,t_{n}+1]) \approx 2 \log_2 N$ and the desired liminf equals zero.

Source Link
Nate Eldredge
  • 29.8k
  • 4
  • 101
  • 150

Define $t_n$ by $t_n = 2^k$ for $2^{k-1} < n \le 2^k$, so that it begins $$1, 2, 4,4, 8,8,8,8, 16,16,16,16,16,16,16,16,32, \dots$$ Then we have $n \le t_n \le 2n$ for all $n$ so your hypothesis is satisfied with $c_1 = 1$, $c_2 = 2$. But there are only about $\log_2 N$ distinct values among $t_1, \dots, t_N$, so $m(\cup^{N}_{n=1}[t_{n}-1,t_{n}+1]) \approx 2 \log_2 N$ and the desired liminf equals zero.