Proof of a summation of $k^4$ I am trying to prove $$\sum_{k=1}^n k^4$$
I am supposed to use the method where $$(n+1)^5 = \sum_{k=1}^n(k+1)^5 - \sum_{k=1}^nk^5$$
So I have done that and and after reindexing and a little algebra, I get $$(n+1)^5 = 1+ 5\sum_{k=1}^nk^4 + 10\sum_{k=1}^nk^3 + 10\sum_{k=1}^nk^2 + 5\sum_{k=1}^nk + \sum_{k=1}^n1$$
So then $$\sum_{k=1}^nk^4$$ is in my formula, and I solve for that and use the formulas for the sums that we already have which are $k^3,k^2,k, and 1$, but I cannot figure out the solution from where I am.  Here is where I have simplified to.  I think it is just my algebra that I can't figure out.
$$(n+1)^5 - (n+1) -{10n^2(n+1)^2 \over 4} -{10n(n+1)(2n+1) \over 6} - {5n(n+1) \over 2} = 5\sum_{k=1}^nk^4$$
which I can get down to:
$$n(n+1)(6n^3 + 24n^2 + 36n + 24 - (15n^2 + 35n + 25)) = 30\sum_{k=1}^nk^4$$
$$n(n+1)(6n^3 + 9n^2 + n - 1) = 30\sum_{k=1}^nk^4$$
But that doesn't seem right.  Where am I messing up?
Thank you!  If my question is missing something please let me know and I will fix it.  I have put in a lot of work with this question so please don't downvote it.

Here's an alternative approach using binomial coefficients.
Firs we express $k^4$ as a linear combination of $\binom{k+a}{4}$ where $a=0,1,2,3$, i.e.
$$k^4={k+3\choose 4}+11{k+2\choose 4}+11{k+1\choose 4}+{k\choose 4}$$. 
Summing this from $1$ to $n$ and using the hockey stick summation identity, i.e. $\sum_{r=0}^m {r\choose b}={m+1\choose {b+1}}$, we have
$$\begin{align}
\sum_{k=1}^nk^4&=\sum_{k=1}^n\left[{k+3\choose 4}+11{k+2\choose 4}+11{k+1\choose 4}+{k\choose 4}\right]\\
&={n+4\choose 5}+11{n+3\choose 5}+11{n+2\choose 5}+{n+1\choose 5}\\
\end{align}$$
which is convenient for numerical evaluation. 
This reduces to 
$$\begin{align}
&\frac{(n+4)^\underline{4}+11(n+3)^\underline{4}+11(n+2)^\underline{4}+(n+1)^\underline{4}}{5!}\\
&=\frac 1{5!}n(n+1)\biggr[(n+4)(n+3)(n+2)+(n-1)(n-2)(n-3)+11(n+2)(n-1)\bigg((n+3)+(n-2)\biggr)\biggr]\\
&=\frac 1{30}n(n+1)(2n+1)(3n^3+3n-1)
\end{align}$$
where $x^\underline{n}$ represents the falling factorial and is given by $\underbrace{x(x-1)(x-2)\cdots(x-n+1)}_{n\text{ terms}}$. 
