no goals
α : Type ?u.130031
β : Type ?u.130034
ι : Type ?u.130037
r : ℝ
hr : 0 ≤ r
h'r : r < 1
⊢ Tendsto (fun n => ↑n * r ^ n) atTop (𝓝 0)
simpa only [pow_one] using tendsto_pow_const_mul_const_pow_of_lt_one 1 hr h'r