סידור רש"י ש״הSiddur Rashi 305

א׳ואתרוג בשביעי אסור באכילה אע"פ שעברה מצותו דהא איתקצאי לכולהו שבעה, ואיתקצאי נמי אף לבין השמשות, [וכיון דאיתקצאי לבין השמשות איתקצאי נמי לכולה יומא דשמיני] דשמיני ספק שביעי הוא, אבל בתשיעי ספק שמיני [דברי הכל] אכול בשמחה:
1