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