In this rule

Historical Rules · 23 January 2015

Rule 509.1f

Official source text from the 23 January 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