In this rule

Historical Rules · 1 February 2013

Rule 509.1f

Official source text from the 1 February 2013 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