证 f 可有至少 2 条 AV（例： tan x 有无限多）。