epsilon ate of
error less and error proof
proof ___