Prove that always picking the largest possible denomination gives the optimal solution to the coin change problem with denominations 1, 10, 100, 1000,... , 102018