Bellman function and linear dimension-free estimates in a theorem of Bakry