Start as you wish had you prove that for any k-digit number M there exists a number n such that the string of first k digits of 2ⁿ equals M.

Find a power of 2 whose decimal expansion begins with the 12-digit string "201320132013". It need not be the smallest such number.

Bonus: Find the smallest such number and prove it to be the smallest.