as observed by @t6s in the following comment: https://github.com/math-comp/analysis/pull/1865#issuecomment-4061256733