no goals
α : Type ?u.129259
β : Type ?u.129262
ι : Type ?u.129265
r : ℝ
hr : abs r < 1
⊢ Tendsto (fun n => ↑n * r ^ n) atTop (𝓝 0)
simpa only [pow_one] using tendsto_pow_const_mul_const_pow_of_abs_lt_one 1 hr