Jensen-formula