The INADA conditions: