2 problems

Let $\mathcal D$ be a $2$-$(v,k,\lambda)$ design with replication number $r$ and $\lambda\geq (r,2\lambda)^2$. An automorphism group of $\mathcal D$ is half-flag-transitive when it…

Transitive-group bound. The product should satisfy