P
Initializing...
(C Dmin h nv : โ) (hh : 0 < h) : Tendsto (fun m => sirkBound C Dmin h nv m - 0) atTop (๐ 0) ยท Prove2Me