Sentence:  It will be seen that our computation time <WSD>underbounds</WSD> his; and that, in fact, we can give a group for which the difference in computation time is arbitrarily large. 
Meaning of the word marked with <WSD> tags:  To provide a lower bound to.