product of six consecutive integers being a perfect square A 1939 paper of Erdos (Note on Products of Consecutive Integers, J. London Math. Soc. 14 (1939), 194&ndash;198) shows that a product of consecutive positive integers cannot be a perfect square. He cites a 1917 paper by Narumi which proves that a product of at most 202 consecutive positive integers cannot be a perfect square. I cannot seem to easily find Narumi's paper.

Although this result is known, I am curious about self-contained elementary proofs of special cases.

It's not too difficult to come up with fairly quick proofs for two, three, four, five, or seven consecutive integers.

Is there a short self-contained elementary proof that the product of six consecutive positive integers cannot be a perfect square? Or is it perhaps fair to say that this is the first "tricky" case?
I am not sure how elementary you want your proof to be, but here is a proof that uses elliptic curves...

Suppose that there are $x,y\in\mathbb{Z}$ such that $x&gt;0$ and 

$$y^2=x(x+1)(x+2)(x+3)(x+4)(x+5).$$

If we put $t=x+2+\frac{1}{2}$, then we have

$$y^2=(t-5/2)(t-3/2)(t-1/2)(t+1/2)(t+3/2)(t+5/2)=\left(t^2-\frac{1}{4}\right)\left(t^2-\frac{9}{4}\right)\left(t^2-\frac{25}{4}\right),$$

or, equivalently,

$$4^3y^2 = (4t^2-1)(4t^2-9)(4t^2-25).$$

If we put $U=2^3y$ and $V=4t^2$, then we have a solution for the equation

$$U^2=(V-1)(V-9)(V-25)=V^3 - 35V^2 + 259V - 225.$$

This defines an elliptic curve $E/\mathbb{Q}$, and we can use standard techniques to calculate the rank of the group of rational points $E(\mathbb{Q})$. This method ($2$-descent) shows that the rank of the curve is $0$, and one can easily separately show that the torsion subgroup is $\mathbb{Z}/2\mathbb{Z}\times \mathbb{Z}/2\mathbb{Z}$. It follows that the only points on $E(\mathbb{Q})$ are the trivial points $(V,U)=(1,0)$, $(9,0)$ and $(25,0)$, plus the point ``at infinity'' on the curve. These correspond to $t$-values $t=\pm 1/2$, $\pm 3/2$ and $\pm 5/2$, and therefore do not give any integer values of $x$ with $x&gt; 0$. Hence, there are no integer solutions to our original equation.

There is probably some elementary argument that shows that $U^2=(V-1)(V-9)(V-25)$ only has $3$ solutions, but I can't think of one right away.
There's an elementary answer actually. You have n, n+1, n+2, n+3, n+4, n+5. Every two numbers there will be a multiple of two. This means, because there are six numbers in all, that either the first xor the last number will be a multiple of two. There will be three multiples of two. Every three numbers will be a multiple of three. Because three is odd, if the first multiple of three is even, the second will be three plus that and so will be odd. If the first multiple of three is odd, the second is three plus an odd number so is even. So no matter what, one of the multiples of two is also a multiple of three, and there are only two multiples of three in our list. There will be one or two multiples of five in the list. If there are two, then it must be the first and last numbers. Since one of the first and last numbers is already a multiple of two, we only gain information about one "new" number, unless the first is a multiple of two and the last is a multiple of three, or vice versa, in which case we gain information about no "new" numbers. Now if the five appears once in the list only we then gain information about one "new" number at max. So, we have found all the places a 2, 3, or 5 may be a factor -- but this only accounts for five unique numbers (three multiples of 2, one extra multiple of three [because one overlaps with the multiples of two], and one (or none) extra multiple of 5 [because if there are two fives one overlaps with the multiples of two]. That means we have five numbers which have prime factors 2, 3, or 5 in our list, and one which does not. But a list of 6 consecutive positive integers can not repeat any prime factor more than 5. So our unknown number must have a prime factor that is only once in the list, and thus the product of the list cannot be a square. The only exception is the number without any prime factors, 1. If our unknown number is 1, then the list will be 1, 2, 3, 4, 5, 6. But five is a prime factor only once there in that list, so that isn't a square either.

Edit: This is wrong because the number without factors 2, 3, or 5 could be a square itself.