Lower bound on stm