Ooh, this is cool. 5/7 = 0.714285 6/7 = 0.857142 7/7 = 0.999999 11/13 = 0.846153... 12/13 = 0.923076... 13/13 = 0.999999... Even if it's not proof, it's nice to think about.