https://domainbgr.blogspot.com/2023/04/a-sequence-is-function-whose-domain-is.html