While installing Windows, all the partitions are displayed, including Recovery, EFI, and other partitions. From here, you can note the size of the EFI system partition.