Quandrix, the proof

Assumes one card drawn per turn, one land played per turn, no additional draw or recursion, no discard, and only counting cards in Main. Select a different number of lands in opening hand to see the adjusted missed land drop distribution.