You do realise that the value $$$2^{n-1}$$$ will require $$$O(n)$$$ space and that if statement (or even addition) will no longer be a constant operation. It'll take $$$O(n)$$$ time to do these operations (assuming you store them in a proper Big Integer datatype and not what you have written here)