eberhart's conjecture