Streaming scenario
Move lowerbound proof to proof chapter
"proof" of execution time