Lemma 1 — $\beta(\alpha+1) \le \frac13\alpha^2 + \frac53\beta^2$ for nonnegative integers

Initializing...

Lemma 1 — $\beta(\alpha+1) \le \frac13\alpha^2 + \frac53\beta^2$ for nonnegative integers · Prove2Me