lec6-sublinearproof.pdf