Zeige: ∀n∈ℕ : ∃! r(Index n)∈ℕ0 mit : 2^r(Index n)

Zeigen Sie: ∀n∈ℕ : ∃! r_n ∈ ℕ₀ mit : 2^rn ≤ 2^rn+1

und bestimmen Sie die Häufungspunkte der Folge (a_n)_n∈ℕ, die durch

a_n := 2^-rn (n-2^rn)

definiert ist.

 [ rn in der Potenz sei r_n ] 

Wie gehe ich da vor ?