post about Shihui Jiao's counter-example to HW4 Q5(e)