Inviato: 12 set 2009, 18:37
Vogliamo che per qualche $ (n,k) \in \mathbb{N}_0^2 $ vale $ m10^k \le 2^n < (m+1)10^k $ cioè $ \text{Log}(m)\le n\text{Log}(2)-k <\text{Log}(m+1) $, che è verificata in quanto $ \{n\text{Log}(2)-k\} $ è denso in $ \mathbb{R} $. (Vedi qui per la dimostrazione).piever ha scritto:Per ogni m esiste n tale che l'espressione decimale di $ 2^n $ inizia con m.