Add theoretical upper and lower bound