Algo1 proof added necessary and sufficient one
Merge branch 'master' of https://github.com/rushil92/energy-harvesting

Conflicts:
	main.pdf