How would one come up with such a rule in 1494 before logarithms were a thing?