Frobenius stamp problem
Prove that using stamps of 5 cents and stamps of 3 cents, one can pay
all amounts greater than or equal to 8 cents. This is the Frobenius problem,
instantiated for 3 and 5.
Look at This file
Another solution, which doesn't use ring and omega, but an
induction scheme on integers modulo n, was sent to us by