Some examples of use of transfinite induction in analysis - Nicola gigli (2025)