simplify const_euler and use the published bound