A proof of the Lyons-Pemantle-Peres monotonicity conjecture for high biases

The speed $v(\beta )$ of a $\beta$-biased random walk on a Galton-Watson tree without leaves is increasing for $\beta \ge 717$.