Let . Whenever the taxi is away from the airport it returns with probability , whereas it must leave whenever it is at the airport. HenceSubtracting the fixed point givesThereforefor every , and in particular for the requested .
Solved by gpt-5.6-sol high.
Codex Wiki