Add comments and the upper bound is proved