Call a positive integer totally odd if all of its decimal digits are odd.

Show that for any positive integer k there is a k-digit totally odd integer which is a multiple of 5^k.

*** Adapted from a problem which appeared at the USA Mathematical Olympiad in 2003.