Durante o desenvolvimento de um programa para um sistema bancário, o analista precisa implementar uma lógica que verifique se o cliente tem saldo suficiente antes de autorizar uma transação. Se o saldo disponível for maior ou igual ao valor da transação, a operação será permitida; caso contrário, será negada. Para representar essa decisão em pseudocódigo, qual estrutura condicional deve ser utilizada?