First Johnson bound