Add a working inf dim inv prob example