Update conjeture.ipynb