Conjecture on sharp upper and lower bounds for the critical density of activated random walk
Sharp-bound conjecture. The upper bound