Proximal point algorithm for infinite pseudo-monotone bifunctions. (2nd August 2016)