Previous even integer#8886

Previous even integer (Discussion)