[math-fun] Improving on counting backward from 100 by sevens