We describe a polynomial-time algorithm which, given a graph G with treewidth , approximates the pathwidth of to within a ratio of ($t√log t $). This is the first algorithm to achieve an -approximation for some function . Our approach builds on the following key insight: every graph with large pathwidth has large treewidth or contains a subdivision of a large complete binary tree. Specifically, we show that every graph with pathwidth at least th + 2 has treewidth at least t or contains a subdivision of a complete binary tree of height + 1. The bound + 2 is best possible up to a multiplicative constant. This result was motivated by, and implies (with = 2), the following conjecture of Kawarabayashi and Rossman (SODA’18): there exists a universal constant c such that every graph with pathwidth has treewidth at least or contains a subdivision of a complete binary tree of height . Our main technical algorithm takes a graph G and some (not necessarily optimal) tree decomposition of of width in the input, and it computes in polynomial time an integer h, a certificate that has pathwidth at least h, and a path decomposition of G of width at most ( + 1) + 1. The certificate is closely related to (and implies) the existence of a subdivision of a complete binary tree of height . The approximation algorithm for pathwidth is then obtained by combining this algorithm with the approximation algorithm of Feige, Hajiaghayi, and Lee (STOC’05) for treewidth.