In this section

Historical Rules · 14 June 2019

Rule 718.3

Official source text from the 14 June 2019 Rules release

Permalink

Because each player draws seven cards when the new game begins, any player with fewer than seven cards in their library will lose the game when state-based actions are checked during the upkeep step of the first turn, regardless of any mulligans that player takes. (See rule 704, “State-Based Actions.”)

Find this number in the current Rules