We prove that a monotone circuit of size n(d) recognizing connectivity
must have depth Omega((log n)(2)/log d). For formulas this implies de
pth Omega((log n)(2)/log log n). For polynomial-size circuits the boun
d becomes Omega((log n)(2)) which is optimal up to a constant.