تگ: epsilon-bound analysis