See in the link below:https://typst.app/project/royUtokLoPUm9JT0unrV47

Grönwall inequality Question 0 Proof 0 Question 1 Proof 1

All the other properties are easy to show, except a notable one (g). The proof is given above:this is given by applying the chain rule.