Finished the variational lower bound