In this rule

Historical Rules · 5 June 2017

Rule 702.51b

Official source text from the 5 June 2017 Rules release

A player with fewer cards in his or her library than the number required by a dredge ability can’t put any of them into his or her graveyard this way.

Find this number in the current Rules