archimedean property of hard work

let smart_1 > smart_2
there always exists a hard work scaling factor, h so that
smart_1 < h*smart_2

so true !!!