Add problem #4

* g100.texi: updated
* index.html: updated