It is shown that a certain functional of a branching process has representations in terms of both a maximisation problem and a minimisation problem. A consequence of these representations is that upper and lower bounds on the functional can be found easily, yielding a non-asymptotic Trotter product formula. As an application, the speed of the right-most particle of a branching Levy process is calculated.