Thanks man. You're awesome!
Let's see if I got it.
I will use the [tex]\Theta[/tex] greek letter instead of a k because that was the one used on the original question.
1) Let [tex](X_1,X_2,...X_n)[/tex] be a random sample. The individual [tex]X_i[/tex] are independent identically distributed random variables that follow an Uniform distribution [tex]X_i[/tex] ~ [tex]U(0,\Theta)[/tex]
2) The cumulative distribution function of the maximum is, by definition:
[tex]F(t) \equiv P(M \le t)[/tex]
3) If the maximum value is [tex]\le t[/tex], that means all of the variables are, so:
[tex]P(M \le t) = P(X_1 \le t \; \cap \; X_2 \le t \; \cap \; \dots X_n \le t)=\prod_{i=1}^n\!P(X_i \le t)[/tex]
The product follows because the individual [tex]X_i[/tex] are independent random variables.
4) The probability density of the above Uniform distribution is:
[tex]f(x)=\frac{1}{\Theta} \; , \; 0 \le x \le \Theta[/tex]
5) So it's distribution function is:
[tex]F(t)=0 \; , \; t \le 0[/tex]
[tex]F(t)=\frac{t}{\Theta} \; , \; 0 < t \le \Theta[/tex]
[tex]F(t)=1 \; , \; t > \Theta[/tex]
6) So the product:
[tex]\prod_{i=1}^n\!P(X_i \le t)[/tex]
equals the product of n distribution functions defined in point 5) which yields:
[tex]F(t)=0 \; , \; t \le 0[/tex]
[tex]F(t)=(\frac{t}{\Theta})^n \; , \; 0 < t \le \Theta[/tex]
[tex]F(t)=1 \; , \; t > \Theta[/tex]
And the distribution of the maximum was found!
7) By differentiating the distribution function of the maximum one gets it's density function:
[tex]f(t)=\frac{nt^{n-1}}{\Theta^n} \; , \; 0 \le t \le \Theta[/tex]
8) Finally the expected value of the max is:
[tex]E[max(X_1,X_2,...,X_n)]=E[t]=\int_{-\infty}^{+\infty}tf(t) \, dt=\int_0^{\Theta}t\frac{nt^{n-1}}{\Theta^n} \, dt=\frac{n}{\Theta^n}\int_0^{\Theta}t^n \, dt=\frac{n}{n+1}\Theta[/tex]
So the result is neither [tex]\Theta[/tex] nor [tex]\Theta \over 2[/tex] but a value that depends on the sample size and lies between these two. It will be exactly [tex]\Theta \over 2[/tex] when the sample size equals unity and it tends to [tex]\Theta[/tex] when the sample size approaches infinity. This result is according to my original intuition so I think it is correct.
What do you think?