A collection of specific limit computations for RCLike

theorem RCLike.tendsto_inverse_atTop_nhds_zero_nat (𝕜 : Type u_1) [RCLike 𝕜] : Filter.Tendsto (fun (n : ℕ) => (↑n)⁻¹) Filter.atTop (nhds 0)

@[deprecated RCLike.tendsto_inverse_atTop_nhds_zero_nat]

theorem RCLike.tendsto_inverse_atTop_nhds_0_nat (𝕜 : Type u_1) [RCLike 𝕜] : Filter.Tendsto (fun (n : ℕ) => (↑n)⁻¹) Filter.atTop (nhds 0)

Alias of RCLike.tendsto_inverse_atTop_nhds_zero_nat.