RAM FORUM

inequality (2)