higher bound on height
less is lam ___