Optimal ruler conjecture