For the program fragment, fina an expression in terms of n for the number of times the procedure S is executed, when n is a positive integer.

i := 1, while i n do S; i := 3i od