Definition of achievable rate