a nice chinese olympiad exponential problem