What is to do? You must remove that dent! But -- how?

Some dent-removal tools use "frame blocks" to compress the tube from the outside. This is a wimpy, ineffective method only used by retrograde, old-school mechanics. After all, the dent is to the inside.

You might stuff a steel rod down a seat tube or head tube, to push the dent out. But it only gets pushed partway out.