Abstract In this paper, we analyse a proximal method based on the idea of forward–backward splitting for sampling from distributions with densities that are not necessarily smooth. particular, study non-asymptotic properties Euler–Maruyama discretization Langevin equation, where envelope is used to deal non-smooth part dynamics. An advantage envelope, when compared widely-used Moreu–Yoshida one...