We present a canonical proof of both the strict and weak Positivstellensatz for rings of differentiable and smooth functions. Our construction is explicit, preserves definability in expansions of the real field, and it works in definably complete expansions of real closed fields as well as for real-valued functions on Banach spaces.