In this rule

Historical Rules · 13 November 2015

Rule 509.1f

Official source text from the 13 November 2015 Rules release

Once the player has enough mana in his or her mana pool, he or she pays all costs in any order. Partial payments are not allowed.

Find this number in the current Rules