In this rule

Historical Rules · 20 January 2017

Rule 509.1f

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