Edit History (Oldest to Newest)
Version: 1
Fields Changed (Original)
Updated
Content

The problem before them obviously reduces to summing:

(0/INF)^N + (1/INF)^N + (2/INF)^N + ... + (INF/INF)^N

...and getting an answer of INF/(N+1).

And of course that means summing:

0^N + 1^N + 2^N + 3^N + ... + INF^N

...and getting INF^(N+1) / (N+1).

Version: 2
Fields Changed Content
Updated
Content

The problem before them obviously reduces to summing:

(0/INF)^N + (1/INF)^N + (2/INF)^N + ... + (INF/INF)^N

...and getting an answer of INF/(N+1).

And of course, factoring out (1/INF)^N from all the terms, that requires summing:

0^N + 1^N + 2^N + 3^N + ... + INF^N

...and getting INF^(N+1) / (N+1).

Version: 3
Fields Changed Content
Updated
Content

The problem before them obviously reduces to summing:

(0/INF)^N + (1/INF)^N + (2/INF)^N + ... + (INF/INF)^N

...and getting an answer of INF/(N+1).

Factoring out (1/INF)^N from all the terms, that requires summing:

0^N + 1^N + 2^N + 3^N + ... + INF^N

...and getting INF^(N+1) / (N+1).

Version: 4
Fields Changed Content
Updated
Content

The problem before them is to sum up:

1/INF * [ (0/INF)^N + (1/INF)^N + (2/INF)^N + ... + (INF/INF)^N ]

...and get the correct answer of 1/(N+1).  This obviously reduces to summing:

(0/INF)^N + (1/INF)^N + (2/INF)^N + ... + (INF/INF)^N

...and get INF/(N+1).

Factoring out (1/INF)^N from all the terms, that requires summing:

0^N + 1^N + 2^N + 3^N + ... + INF^N

...and getting INF^(N+1) / (N+1).

Version: 5
Fields Changed Content
Updated
Content

The problem before them is to sum up:

(0/INF)^N   (1/INF)^N   (2/INF)^N         (INF/INF)^N
--------- + --------- + --------- + ... + -----------
INF INF INF INF

...and get the correct answer of 1/(N+1).  This obviously reduces to summing:

(0/INF)^N + (1/INF)^N + (2/INF)^N + ... + (INF/INF)^N

...and get INF/(N+1).

Factoring out (1/INF)^N from all the terms, that requires summing:

0^N + 1^N + 2^N + 3^N + ... + INF^N

...and getting INF^(N+1) / (N+1).

Version: 6
Fields Changed Content
Updated
Content

The problem before them is to sum up:

(0/INF)^N   (1/INF)^N   (2/INF)^N         (INF/INF)^N
--------- + --------- + --------- + ... + -----------
INF INF INF INF

...and get the correct answer of 1/(N+1).  This obviously reduces to summing:

(0/INF)^N + (1/INF)^N + (2/INF)^N + ... + (INF/INF)^N

...and getting INF/(N+1).

Factoring out (1/INF)^N from all the terms, that requires summing:

0^N + 1^N + 2^N + 3^N + ... + INF^N

...and getting INF^(N+1) / (N+1).

Version: 7
Fields Changed Content
Updated
Content

The problem before them is to sum up:

(0/INF)^N   (1/INF)^N   (2/INF)^N         (INF/INF)^N
--------- + --------- + --------- + ... + -----------
INF INF INF INF

...and get the correct answer of 1/(N+1).  This obviously reduces to summing:

(0/INF)^N + (1/INF)^N + (2/INF)^N + ... + (INF/INF)^N

...and getting INF/(N+1).

Retroactive class chatter
      "So..." A hand goes up. It is the hand of a student who does not want to admit weakness, but will do so anyway, under the eyes of Security. "It isn't obvious to me how you got that?"

Keltham starts to answer -

      Oh wait never mind it is obvious.

      It's too late to say that now, though, so the student will just listen to Keltham speak the awful words that he's just multiplying both sides by infinity.

Factoring out (1/INF)^N from all the terms, that requires summing:

0^N + 1^N + 2^N + 3^N + ... + INF^N

...and getting INF^(N+1) / (N+1).

Version: 8
Fields Changed Content
Updated
Content

The problem before them is to sum up:

(0/INF)^N   (1/INF)^N   (2/INF)^N         (INF/INF)^N
--------- + --------- + --------- + ... + -----------
INF INF INF INF

...and get the correct answer of 1/(N+1).  This obviously reduces to summing:

(0/INF)^N + (1/INF)^N + (2/INF)^N + ... + (INF/INF)^N

...and getting INF/(N+1).

Retroactive class chatter
      "So..." A hand goes up. It is the hand of a student who does not want to admit weakness, but will do so anyway, under the eyes of Security. "It isn't obvious to me how you got that?"

Keltham starts to answer -

      Oh wait never mind it is obvious.

      It's too late to say that now, though, so the student will just listen to Keltham speak the awful words that he's just multiplying both sides by infinity.

Factoring out (1/INF)^N from all the terms, that requires summing:

0^N + 1^N + 2^N + 3^N + ... + INF^N

...and getting INF^(N+1) / (N+1).

Retroactive class chatter
      A hand goes up, in obedience to stated Orders. "Why are we factoring this out, sir? And why does it require summing this?"

...He's factoring it out because it'll reduce the problem to one that's easier to solve?  Then, once they get the solution for an infinite sum of cubes n^N, they'll multiply that whole thing through by (1/INF)^N and by (1/INF), and get back out...
(0/INF)^N   (1/INF)^N   (2/INF)^N         (INF/INF)^N
--------- + --------- + --------- + ... + -----------
INF INF INF INF
...which represents an infinity of possible hypotheses, for all possible propensities between 0 and 1, for how often a ball goes LEFT, each hypothesis with 1/infinity prior probability.

Look, it's just the same as if they'd used four buckets each with 1/4 prior probability, and asked for the chance of seeing 9 balls going LEFT, that would be:
(0/3)^9   (1/3)^9   (2/3)^9   (3/3)^9
------- + ------- + ------- + -------
4 4 4 4

      Somebody then asks whether it ought to be INF+1 in the denominator of the original expression.

Keltham stares at the whiteboard a moment, then sagely announces that, with a sum this large, it won't make any relative difference if they drop any number of finite terms from it, since those contribute 0% of anything.  He's just arbitrarily going to declare that one of the ones in the middle is missing.

Version: 9
Fields Changed Content
Updated
Content

The problem before them is to sum up:

(0/INF)^N   (1/INF)^N   (2/INF)^N         (INF/INF)^N
--------- + --------- + --------- + ... + -----------
INF INF INF INF

...and get the correct answer of 1/(N+1).  This obviously reduces to summing:

(0/INF)^N + (1/INF)^N + (2/INF)^N + ... + (INF/INF)^N

...and getting INF/(N+1).

Retroactive class chatter
      "So..." A hand goes up. It is the hand of a student who does not want to admit weakness, but will do so anyway, under the eyes of Security. "It isn't obvious to me how you got that?"

Keltham starts to answer -

      Oh wait never mind it is obvious.

      It's too late to say that now, though, so the student will just listen to Keltham speak the awful words that he's just multiplying both sides by infinity.

Factoring out (1/INF)^N from all the terms, that requires summing:

0^N + 1^N + 2^N + 3^N + ... + INF^N

...and getting INF^(N+1) / (N+1).

Retroactive class chatter
      A hand goes up, in obedience to stated Orders. "Why are we factoring this out, sir? And why does it require summing this?"


...Keltham is factoring it out because it'll reduce the problem to one that's easier to solve?  Then, once they get the solution for an infinite sum of cubes n^N, they'll multiply that whole thing through by (1/INF)^N and by (1/INF), and get back out...
(0/INF)^N   (1/INF)^N   (2/INF)^N         (INF/INF)^N
--------- + --------- + --------- + ... + -----------
INF INF INF INF
...which represents an infinity of possible hypotheses, for all possible propensities between 0 and 1, for how often a ball goes LEFT, each hypothesis with 1/infinity prior probability.

Look, it's just the same as if they'd used four buckets each with 1/4 prior probability, and asked for the chance of seeing 9 balls going LEFT, that would be:
(0/3)^9   (1/3)^9   (2/3)^9   (3/3)^9
------- + ------- + ------- + -------
4 4 4 4


      ...Somebody then asks whether it ought to be INF+1 in the denominator of the original expression.


Keltham stares at the wall for a moment, then sagely announces that, with a sum this large, it won't make any relative difference if they drop any number of finite terms from it, since those contribute 0% of anything.  He's just arbitrarily going to declare that one of the ones in the middle is missing.

Version: 10
Fields Changed Content
Updated
Content

The problem before them is to sum up:

(0/INF)^N   (1/INF)^N   (2/INF)^N         (INF/INF)^N
--------- + --------- + --------- + ... + -----------
INF INF INF INF

...and get the correct answer of 1/(N+1).  This obviously reduces to summing:

(0/INF)^N + (1/INF)^N + (2/INF)^N + ... + (INF/INF)^N

...and getting INF/(N+1).

Retroactive class chatter
      "So..." A hand goes up. It is the hand of a student who does not want to admit weakness, but will do so anyway, under the eyes of Security. "It isn't obvious to me how you got that?"

Keltham starts to answer -

      Oh wait never mind it is obvious.

      It's too late to say that now, though, so the student will just listen to Keltham speak the awful words that he's just multiplying both sides by infinity.

Factoring out (1/INF)^N from all the terms, that requires summing:

0^N + 1^N + 2^N + 3^N + ... + INF^N

...and getting INF^(N+1) / (N+1).

Retroactive class chatter
      A hand goes up, in obedience to stated Orders. "Why are we factoring this out, sir? And why does it require summing this?"


...Keltham is factoring it out because it'll reduce the problem to one that's easier to solve?  Then, once they get the solution for an infinite sum of cubes n^N, they'll multiply that whole thing through by (1/INF)^N and by (1/INF), and get back out...
(0/INF)^N   (1/INF)^N   (2/INF)^N         (INF/INF)^N
--------- + --------- + --------- + ... + -----------
INF INF INF INF
...which represents an infinity of possible hypotheses, for all possible propensities between 0 and 1, for how often a ball goes LEFT, each hypothesis with 1/infinity prior probability.

Look, it's just the same as if they'd used four buckets each with 1/4 prior probability, and asked for the chance of seeing 9 balls going LEFT, that would be:
(0/3)^9   (1/3)^9   (2/3)^9   (3/3)^9
------- + ------- + ------- + -------
4 4 4 4


      ...Somebody then asks whether it ought to be INF+1 in the denominator of the original expression.


Keltham stares at the wall for a moment, then sagely announces that, with a sum this large, it won't make any relative difference if they drop any finite number of terms from it, since those contribute 0% of anything.  He's just arbitrarily going to declare that one of the ones in the middle is missing.

Version: 11
Fields Changed Content
Updated
Content

The problem before them is to sum up:

(0/INF)^N   (1/INF)^N   (2/INF)^N         (INF/INF)^N
--------- + --------- + --------- + ... + -----------
INF INF INF INF

...and get the correct answer of 1/(N+1).  This obviously reduces to summing:

(0/INF)^N + (1/INF)^N + (2/INF)^N + ... + (INF/INF)^N

...and getting INF/(N+1).

Retroactive class chatter
      "So..." A hand goes up. It is the hand of a student who does not want to admit weakness, but will do so anyway, under the eyes of Security. "It isn't obvious to me how you got that?"

Keltham starts to answer -

      Oh wait never mind it is obvious.

      It's too late to say that now, though, so the student will just listen to Keltham speak the awful words that he's just multiplying both sides by infinity.

Factoring out (1/INF)^N from all the terms, that requires summing:

0^N + 1^N + 2^N + 3^N + ... + INF^N

...and getting INF^(N+1) / (N+1).

Retroactive class chatter
      A hand goes up, in obedience to stated Orders. "Why are we factoring this out, sir? And why does it require summing this?"


...Keltham is factoring it out because it'll reduce the problem to one that's easier to solve?  Then, once they get the solution for an infinite sum of cubes n^N, they'll multiply that whole thing through by (1/INF)^N and by (1/INF), and get back out...
(0/INF)^N   (1/INF)^N   (2/INF)^N         (INF/INF)^N
--------- + --------- + --------- + ... + -----------
INF INF INF INF
...which represents an infinity of possible hypotheses, for all possible propensities between 0 and 1, for how often a ball goes LEFT, each hypothesis with 1/infinity prior probability.

Look, it's just the same as if they'd used four buckets each with 1/4 prior probability, and asked for the chance of seeing 9 balls going LEFT, that would be:
(0/3)^9   (1/3)^9   (2/3)^9   (3/3)^9
------- + ------- + ------- + -------
4 4 4 4


      ...Somebody then asks whether it ought to be INF+1 in the denominator of the original expression.


Keltham stares at the wall for a moment, then sagely announces that, with a sum this large, it won't make any relative difference if they drop any finite number of terms from it, since those contribute 0% of anything.  He's just going to arbitrarily declare that one of the ones in the middle is missing.

Version: 12
Fields Changed Content
Updated
Content

The problem before them is to sum up:

(0/INF)^N   (1/INF)^N   (2/INF)^N         (INF/INF)^N
--------- + --------- + --------- + ... + -----------
INF INF INF INF

...and get the correct answer of 1/(N+1).  This obviously reduces to summing:

(0/INF)^N + (1/INF)^N + (2/INF)^N + ... + (INF/INF)^N

...and getting INF/(N+1).

Retroactive class chatter
      "So..." A hand goes up. It is the hand of a student who does not want to admit weakness, but will do so anyway, under the eyes of Security. "It isn't obvious to me how you got that?"

Keltham starts to answer -

      Oh wait never mind it is obvious.

      It's too late to say that now, though, so the student will just listen to Keltham speak the awful words that he's just multiplying both sides by infinity.

Factoring out (1/INF)^N from all the terms (n/INF)^N reduces the problem to one of summing:

0^N + 1^N + 2^N + 3^N + ... + INF^N

...and getting INF^(N+1) / (N+1).

Retroactive class chatter
      A hand goes up, in obedience to stated Orders. "Why are we factoring this out, sir? And why does it require summing this?"


...they're taking (0/INF)^N + ... and factoring out (1/INF)^N from all terms (n/INF)^N to yield n^N * (1/INF)^N, for each term, and then dividing both sides to yield the sum over n^N equalling [ INF/(N+1) / (1/INF)^N ] = INF^(N+1) / (N+1).

Then, once they get the solution for an infinite sum of cubes n^N, they'll multiply that whole thing through by (1/INF)^N and by (1/INF), and get back out...
(0/INF)^N   (1/INF)^N   (2/INF)^N         (INF/INF)^N
--------- + --------- + --------- + ... + -----------
INF INF INF INF
...which represents an infinity of possible hypotheses, for all possible propensities between 0 and 1, for how often a ball goes LEFT, each hypothesis with 1/infinity prior probability.

Look, it's just the same as if they'd used four buckets each with 1/4 prior probability, and asked for the chance of seeing 9 balls going LEFT, that would be:
(0/3)^9   (1/3)^9   (2/3)^9   (3/3)^9
------- + ------- + ------- + -------
4 4 4 4


      ...Somebody then asks whether it ought to be INF+1 in the denominator of the original expression.


Keltham stares at the wall for a moment, then sagely announces that, with a sum this large, it won't make any relative difference if they drop any finite number of terms from it, since those contribute 0% of anything.  He's just going to arbitrarily declare that one of the ones in the middle is missing.

Version: 13
Fields Changed Content
Updated
Content

The problem before them is to sum up:

(0/INF)^N   (1/INF)^N   (2/INF)^N         (INF/INF)^N
--------- + --------- + --------- + ... + -----------
INF INF INF INF

...and get the correct answer of 1/(N+1).  This obviously reduces to summing:

(0/INF)^N + (1/INF)^N + (2/INF)^N + ... + (INF/INF)^N

...and getting INF/(N+1).

Retroactive parenthetical class chatter
      "So..." A hand goes up. It is the hand of a student who does not want to admit weakness, but will do so anyway, under the eyes of Security. "It isn't obvious to me how you got that?"

Keltham starts to answer -

      Oh wait never mind it is obvious.

      It's too late to say that now, though, so the student will just listen to Keltham speak the awful words that he's just multiplying both sides by infinity.

Factoring out (1/INF)^N from all the terms (n/INF)^N reduces the problem to one of summing:

0^N + 1^N + 2^N + 3^N + ... + INF^N

...and getting INF^(N+1) / (N+1).

Retroactive parenthetical class chatter
      A hand goes up, in obedience to stated Orders. "Why are we factoring this out, sir? And why does it require summing this?"


...they're taking (0/INF)^N + ... and factoring out (1/INF)^N from all terms (n/INF)^N to yield n^N * (1/INF)^N, for each term, and then dividing both sides to yield the sum over n^N equalling [ INF/(N+1) / (1/INF)^N ] = INF^(N+1) / (N+1).

Then, once they get the solution for an infinite sum of cubes n^N, they'll multiply that whole thing through by (1/INF)^N and by (1/INF), and get back out...
(0/INF)^N   (1/INF)^N   (2/INF)^N         (INF/INF)^N
--------- + --------- + --------- + ... + -----------
INF INF INF INF
...which represents an infinity of possible hypotheses, for all possible propensities between 0 and 1, for how often a ball goes LEFT, each hypothesis with 1/infinity prior probability.

Look, it's just the same as if they'd used four buckets each with 1/4 prior probability, and asked for the chance of seeing 9 balls going LEFT, that would be:
(0/3)^9   (1/3)^9   (2/3)^9   (3/3)^9
------- + ------- + ------- + -------
4 4 4 4


      ...Somebody then asks whether it ought to be INF+1 in the denominator of the original expression.


Keltham stares at the wall for a moment, then sagely announces that, with a sum this large, it won't make any relative difference if they drop any finite number of terms from it, since those contribute 0% of anything.  He's just going to arbitrarily declare that one of the ones in the middle is missing.

Version: 14
Fields Changed Content
Updated
Content

The problem before them is to sum up:

(0/INF)^N   (1/INF)^N   (2/INF)^N         (INF/INF)^N
--------- + --------- + --------- + ... + -----------
INF INF INF INF

...and get the correct answer of 1/(N+1).  This obviously reduces to summing:

(0/INF)^N + (1/INF)^N + (2/INF)^N + ... + (INF/INF)^N

...and getting INF/(N+1).

Retroactive parenthetical class chatter       "So..." A hand goes up. It is the hand of a student who does not want to admit weakness, but will do so anyway, under the eyes of Security. "It isn't obvious to me how you got that?"

Keltham starts to answer -

      Oh wait never mind it is obvious.

      It's too late to say that now, though, so the student will just listen to Keltham speak the awful words that he's just multiplying both sides by infinity.

Factoring out (1/INF)^N from all the terms (n/INF)^N reduces the problem to one of summing:

0^N + 1^N + 2^N + 3^N + ... + INF^N

...and getting INF^(N+1) / (N+1).

Retroactive parenthetical class chatter       A hand goes up, in obedience to stated Orders. "Why are we factoring this out, sir? And why does it require summing this?"


...they're taking (0/INF)^N + ... and factoring out (1/INF)^N from all terms (n/INF)^N to yield n^N * (1/INF)^N, for each term, and then dividing both sides to yield the sum over n^N equalling [ INF/(N+1) / (1/INF)^N ] = INF^(N+1) / (N+1).

Then, once they get the solution for an infinite sum of cubes n^N, they'll multiply that whole thing through by (1/INF)^N and by (1/INF), and get back out...
(0/INF)^N   (1/INF)^N   (2/INF)^N         (INF/INF)^N
--------- + --------- + --------- + ... + -----------
INF INF INF INF
...which represents an infinity of possible hypotheses, for all possible propensities between 0 and 1, for how often a ball goes LEFT, each hypothesis with 1/infinity prior probability.

Look, it's just the same as if they'd used four buckets each with 1/4 prior probability, and asked for the chance of seeing 9 balls going LEFT, that would be:
(0/3)^9   (1/3)^9   (2/3)^9   (3/3)^9
------- + ------- + ------- + -------
4 4 4 4


      ...Somebody then asks whether it ought to be INF+1 in the denominator of the original expression.


Keltham stares at the wall for a moment, then sagely announces that, with a sum this large, it won't make any relative difference if they drop any finite number of terms from it, since those contribute 0% of anything.  He's just going to arbitrarily declare that one of the ones in the middle is missing.

Version: 15
Fields Changed Content
Updated
Content

The problem before them is to sum up:

(0/INF)^N   (1/INF)^N   (2/INF)^N         (INF/INF)^N
--------- + --------- + --------- + ... + -----------
INF INF INF INF

...and get the correct answer of 1/(N+1).  This obviously reduces to summing:

(0/INF)^N + (1/INF)^N + (2/INF)^N + ... + (INF/INF)^N

...and getting INF/(N+1).

(Retroactive parenthetical class chatter)       "So..." A hand goes up. It is the hand of a student who does not want to admit weakness, but will do so anyway, under the eyes of Security. "It isn't obvious to me how you got that?"

Keltham starts to answer -

      Oh wait never mind it is obvious.

      It's too late to say that now, though, so the student will just listen to Keltham speak the awful words that he's just multiplying both sides by infinity.

Factoring out (1/INF)^N from all the terms (n/INF)^N reduces the problem to one of summing:

0^N + 1^N + 2^N + 3^N + ... + INF^N

...and getting INF^(N+1) / (N+1).

(Retroactive parenthetical class chatter)       A hand goes up, in obedience to stated Orders. "Why are we factoring this out, sir? And why does it require summing this?"


...they're taking (0/INF)^N + ... and factoring out (1/INF)^N from all terms (n/INF)^N to yield n^N * (1/INF)^N, for each term, and then dividing both sides to yield the sum over n^N equalling [ INF/(N+1) / (1/INF)^N ] = INF^(N+1) / (N+1).

Then, once they get the solution for an infinite sum of cubes n^N, they'll multiply that whole thing through by (1/INF)^N and by (1/INF), and get back out...
(0/INF)^N   (1/INF)^N   (2/INF)^N         (INF/INF)^N
--------- + --------- + --------- + ... + -----------
INF INF INF INF
...which represents an infinity of possible hypotheses, for all possible propensities between 0 and 1, for how often a ball goes LEFT, each hypothesis with 1/infinity prior probability.

Look, it's just the same as if they'd used four buckets each with 1/4 prior probability, and asked for the chance of seeing 9 balls going LEFT, that would be:
(0/3)^9   (1/3)^9   (2/3)^9   (3/3)^9
------- + ------- + ------- + -------
4 4 4 4


      ...Somebody then asks whether it ought to be INF+1 in the denominator of the original expression.


Keltham stares at the wall for a moment, then sagely announces that, with a sum this large, it won't make any relative difference if they drop any finite number of terms from it, since those contribute 0% of anything.  He's just going to arbitrarily declare that one of the ones in the middle is missing.

Version: 16
Fields Changed Content
Updated
Content

The problem before them is to sum up:

(0/INF)^N   (1/INF)^N   (2/INF)^N         (INF/INF)^N
--------- + --------- + --------- + ... + -----------
INF INF INF INF

...and get the correct answer of 1/(N+1).  This obviously reduces to summing:

(0/INF)^N + (1/INF)^N + (2/INF)^N + ... + (INF/INF)^N

...and getting INF/(N+1).

(Retroactive parenthetical class chatter)       "So..." A hand goes up. It is the hand of a student who does not want to admit weakness, but will do so anyway, under the eyes of Security. "It isn't obvious to me how that reduces?"

Keltham starts to answer -

      Oh wait never mind it is obvious.

      It's too late to say that now, though, so the student will just listen to Keltham speak the awful words that he's just multiplying both the original sum and the original result 1/(N+1) by infinity.

Factoring out (1/INF)^N from all the terms (n/INF)^N reduces the problem to one of summing:

0^N + 1^N + 2^N + 3^N + ... + INF^N

...and getting INF^(N+1) / (N+1).

(Retroactive parenthetical class chatter)       A hand goes up, in obedience to stated Orders. "Why are we factoring this out, sir? And why does it require summing this?"


...they're taking (0/INF)^N + ... and factoring out (1/INF)^N from all terms (n/INF)^N to yield n^N * (1/INF)^N, for each term, and then dividing both sides to yield the sum over n^N equalling [ INF/(N+1) / (1/INF)^N ] = INF^(N+1) / (N+1).

Then, once they get the solution for an infinite sum of cubes n^N, they'll multiply that whole thing through by (1/INF)^N and by (1/INF), and get back out...
(0/INF)^N   (1/INF)^N   (2/INF)^N         (INF/INF)^N
--------- + --------- + --------- + ... + -----------
INF INF INF INF
...which represents an infinity of possible hypotheses, for all possible propensities between 0 and 1, for how often a ball goes LEFT, each hypothesis with 1/infinity prior probability.

Look, it's just the same as if they'd used four buckets each with 1/4 prior probability, and asked for the chance of seeing 9 balls going LEFT, that would be:
(0/3)^9   (1/3)^9   (2/3)^9   (3/3)^9
------- + ------- + ------- + -------
4 4 4 4


      ...Somebody then asks whether it ought to be INF+1 in the denominator of the original expression.


Keltham stares at the wall for a moment, then sagely announces that, with a sum this large, it won't make any relative difference if they drop any finite number of terms from it, since those contribute 0% of anything.  He's just going to arbitrarily declare that one of the ones in the middle is missing.