fermat's sandwich theorem