Distributions: Stars & Bars and Integer Solutions · Superchallenge problem

Twenty identical coins are shared among five children, numbered $1$ to $5$ (a child may get no coins). In how many ways can this be done so that child $1$ gets at least as many coins as children $2$, $3$ and $4$ together?