46 posts in total

---

2023

12-18

A Fun Limit: relationship between (n!)^(1/n) and n

12-18

Relationship between Ratio and Root test

12-17

convergence of sum of sin(aknx)/n

12-15

x > sinx: Three ways of proving

11-24

Metric in L^p

10-31

Rudin Analysis Exercise 2.23

10-26

Operator Precedence in C

10-17

WebSocket on stock data with latency issue

10-17

WebSocket Introduction

10-12

Import LEAN into elan