We establish a lower bound on the efficiency of area-universal circuit
s. The area A(u) of every graph H that can host any graph G of area (a
t most) A with dilation d, and congestion c less-than-or-equal-to squa
re-root A/log log A satisfies the tradeoff A(u) = OMEGA(A log A/(c2 lo
g(2d))). In particular, if A(u) = O(A) then max(c, d) = OMEGA(square-r
oot log A/log log A).