int_0^1 35p^3(1-p)^4 dp