https://www.jupiterzw.com/posts/riesz-representation-theorem/