DROP TABLE IF EXISTS ids;
CREATE TABLE ids (
id INT,
INDEX (id)
) DEFAULT CHARSET=UTF8MB4;
INSERT INTO ids VALUES (1);
INSERT INTO ids VALUES (2);
INSERT INTO ids VALUES (3);
DELETE FROM ids WHERE id < 2;
SET mroonga_max_n_records_for_estimate = 1;
EXPLAIN SELECT * FROM ids WHERE id > 0;
id	select_type	table	type	possible_keys	key	key_len	ref	rows	Extra
1	SIMPLE	ids	range	id	id	5	NULL	1	Using where with pushed condition; Using index
SET mroonga_max_n_records_for_estimate = DEFAULT;
DROP TABLE ids;
